# mk_vartype "Test";;
val it : hol_type = `:Test`
# mk_vartype "bool";;
val it : hol_type = `:bool`
Note that the second type is not the inbuilt type of Booleans, even
though it prints like it.
COMMENTS
mk_vartype can be used to create type variables with names which will not
parse, i.e. they cannot be entered by quotation. Using such type variables is
probably bad practice. HOL Light convention is to start type variables with an
uppercase letter.