1structure HOLsexp_dtype = 2struct 3 4datatype t = 5 Symbol of string 6 | String of string 7 | Integer of int 8 | Cons of t * t 9 10end 11