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.