is_gen_tyvar

Type.is_gen_tyvar : hol_type -> bool

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

See also

Type.gen_tyvar