is_vartype : hol_type -> bool
- SYNOPSIS
-
Tests a type to see if it is a type variable.
- DESCRIPTION
-
Returns true if applied to a type variable. For types that are not type
variables it returns false.
- FAILURE CONDITIONS
-
Never fails.
- EXAMPLE
-
# is_vartype `:A`;;
val it : bool = true
# is_vartype `:bool`;;
val it : bool = false
# is_vartype (mk_vartype "bool");;
val it : bool = true
- SEE ALSO
-
mk_vartype, dest_vartype.