1\DOC dest_vartype
2
3\TYPE {dest_vartype : hol_type -> string}
4
5\SYNOPSIS
6Breaks a type variable down to its name.
7
8\FAILURE
9Fails with {dest_vartype} if the type is not a type variable.
10
11\EXAMPLE
12{
13- dest_vartype alpha;
14> val it = "'a" : string
15
16- try dest_vartype bool;
17
18Exception raised at Type.dest_vartype:
19not a type variable
20}
21
22
23\SEEALSO
24Type.mk_vartype, Type.is_vartype, Type.dest_type.
25\ENDDOC
26