type_of : (term -> type)
SYNOPSIS
Returns the type of a term.
FAILURE
Never fails.
EXAMPLE
#type_of "T";; ":bool" : type
HOL
Kananaskis 0