is_type

Type.is_type : hol_type -> bool

Tests whether a HOL type is not a type variable.

is_type ty returns true if ty is an application of a type operator and false otherwise.

Failure

Never fails.

See also

Type.op_arity, Type.mk_type, Type.mk_thy_type, Type.dest_type, Type.dest_thy_type