Version: Next

info list-declarations

SYNOPSIS#

ligo info list-declarations SOURCE_FILE [OPTION]...

DESCRIPTION#

This sub-command prints a list of all top-level declarations (not including types and modules).

ARGUMENTS#

SOURCE_FILE

SOURCE_FILE is the path to the smart contract file.

OPTIONS#

-s --syntax <SYNTAX>

The syntax that will be used. Currently supported syntaxes are "pascaligo", "cameligo", "reasonligo" and "jsligo". By default, the syntax is guessed from the extension (.ligo, .mligo, .religo, and .jsligo respectively).

--format <DISPLAY-FORMAT>

The format that will be used by the CLI. Available formats are 'dev', 'json', and 'human-readable' (default). When human-readable lacks details (we are still tweaking it), please contact us and use another format in the meanwhile.