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