type_of : (term -> type)

SYNOPSIS
Returns the type of a term.

FAILURE
Never fails.

EXAMPLE
#type_of "T";;
":bool" : type


HOL  Kananaskis 0