is_vartype
Type.is_vartype : hol_type -> bool
Tests a type to see if it is a type variable.
Failure
Never fails.
Example
> is_vartype Type.alpha;
val it = true: bool
> is_vartype bool;
val it = false: bool
> is_vartype (Type `:'a -> bool`);
val it = false: bool