1structure Pretype_dtype = 2struct 3 4 datatype pretype 5 = Vartype of string 6 | Tyop of {Thy:string,Tyop:string, Args: pretype list} 7 | UVar of int 8 9end 10