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