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