constants : unit -> (string * hol_type) list

SYNOPSIS

Returns a list of the constants currently defined.

DESCRIPTION

The call

   constants();;

returns a list of all the constants that have been defined so far.

FAILURE CONDITIONS

Never fails.

SEE ALSO

axioms, binders, infixes.