installed_parsers : unit -> (string * (lexcode list -> preterm * lexcode list)) list
- SYNOPSIS
-
List the user parsers currently installed.
- DESCRIPTION
-
HOL Light allows user parsing functions to be installed, and will try them on
all terms during parsing before the usual parsers. The call
installed_parsers() lists the parsing functions that have been so installed.
- FAILURE CONDITIONS
-
Never fails.
- SEE ALSO
-
delete_parser, install_parser, try_user_parser.