Parse.known_constants : unit -> string list
STRUCTURE
SYNOPSIS
Returns the list of constants known to the parser.
LIBRARY
Parse
DESCRIPTION
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.
SEEALSO
HOL  Kananaskis-13