type_of : term -> hol_type

SYNOPSIS
Returns the type of a term.

FAILURE CONDITIONS
Never fails.

EXAMPLE
  # type_of `T`;;
  val it : hol_type = `:bool`