Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

known_constants

Parse.known_constants : unit -> string list

Returns the list of constants known to the parser.

A call to this functions returns the list of constants that will be treated as such by the parser. Those constants with names not on the list will be parsed as if they were variables.

Failure

Never fails.

See also

Parse.hide, Parse.reveal, Parse.set_known_constants