type_of : term -> hol_type
STRUCTURE
Term
SYNOPSIS
Returns the type of a term.
FAILURE
Never fails.
EXAMPLE
- type_of boolSyntax.universal;
> val it = `:('a -> bool) -> bool` : hol_type

HOL  Trindemossen-1