ligo info list-declarations SOURCE_FILE [OPTION]...
This sub-command prints a list of all top-level declarations (not including types and modules).
SOURCE_FILE is the path to the smart contract file.
-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).
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.