is_type : hol_type -> bool

SYNOPSIS
Tests whether a hol_type is not a type variable.

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

FAILURE
Never fails.

SEEALSO  arity

HOL  Kananaskis 0