mk_vartype : string -> hol_type

SYNOPSIS
Constructs a type variable of the given name.

FAILURE
Fails if the string does not begin with '.

EXAMPLE
- mk_vartype "'gamma";
> val it = `:'gamma` : hol_type

- try mk_vartype "test";

Exception raised at Type.mk_vartype:
incorrect syntax

SEEALSO  dest_vartype,   is_vartype,   mk_type

HOL  Kananaskis 0