hidden : string -> bool
STRUCTURE
SYNOPSIS
Checks to see if a given name has been hidden.
LIBRARY
Parse
DESCRIPTION
A call hidden c where c is the name of a constant, will check to see if the given name had been hidden by a previous call to Parse.hide.
FAILURE
Never fails.
COMMENTS
The hiding of a constant only affects the quotation parser; the constant is still there in a theory.
SEEALSO
HOL  Trindemossen-1