is_type : hol_type -> bool
STRUCTURE
Type
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
op_arity
,
mk_type
,
mk_thy_type
,
dest_type
,
dest_thy_type
HOL
Kananaskis-13