mk_vartype : string -> hol_type
- mk_vartype "'gamma"; > val it = `:'gamma` : hol_type - try mk_vartype "test"; Exception raised at Type.mk_vartype: incorrect syntax