is_type : hol_type -> bool
STRUCTURE
SYNOPSIS
Tests whether a HOL type is not a type variable.
DESCRIPTION
is_type ty returns true if ty is an application of a type operator and false otherwise.
FAILURE
Never fails.
SEEALSO
HOL  Trindemossen-1