dest_vartype : hol_type -> string

SYNOPSIS
Breaks a type variable down to its name.

FAILURE
Fails with dest_vartype if the type is not a type variable.

EXAMPLE
- dest_vartype alpha;
> val it = "'a" : string

- try dest_vartype bool;

Exception raised at Type.dest_vartype:
not a type variable

SEEALSO  mk_vartype,   is_vartype,   dest_type

HOL  Kananaskis 0