hidden : string -> bool
- SYNOPSIS
-
Checks to see if a given name has been hidden.
- LIBRARY
- Parse
- DESCRIBE
-
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 hide,
reveal
HOL Kananaskis 0