Parse.known_constants : unit -> string list

SYNOPSIS
Returns the list of constants known to the parser.

LIBRARY
Parse

DESCRIBE
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  hide,   reveal,   set_known_constants

HOL  Kananaskis 0