mk_vartype
Type.mk_vartype : string -> hol_type
Constructs a type variable of the given name.
Failure
Fails if the string does not begin with '.
Example
> mk_vartype "'giraffe";
val it = “:'giraffe”: hol_type
> try mk_vartype "test";
val it = “:test”: hol_type