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