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