is_hidden : (string -> bool)

SYNOPSIS
Determines whether a constant is hidden.

DESCRIBE
This predicate returns true if the named ML constant has been hidden by the function hide_constant; it returns false if the constant is not hidden. Hiding a constant forces the quotation parser to treat the constant as a variable (lexical rules permitting).

EXAMPLE
#is_hidden `0`;;
false : bool

#hide_constant `0`;;
() : void

#is_hidden `0`;;
true : bool

#unhide_constant `0`;;
() : void

#is_hidden `0`;;
false : bool

SEEALSO  hide_constant,   unhide_constant

HOL  Kananaskis 0