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`