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
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
is_gen_tyvarType.is_gen_tyvar : hol_type -> bool
Checks if a type variable has been created by gen_tyvar.
Never fails.
> is_gen_tyvar (gen_tyvar());
val it = true: bool
> is_gen_tyvar bool;
val it = false: bool