is_gen_tyvar : hol_type -> bool
STRUCTURE
Type
SYNOPSIS
Checks if a type variable has been created by gen_tyvar.
FAILURE
Never fails.
EXAMPLE
- is_gen_tyvar (gen_tyvar());
> val it = true : bool

- is_gen_tyvar bool;
> val it = false : bool

SEEALSO
gen_tyvar
HOL  Trindemossen-1