equal
deleted
inserted
replaced
175 |
175 |
176 (********************** Internal description of datatypes *********************) |
176 (********************** Internal description of datatypes *********************) |
177 |
177 |
178 datatype dtyp = |
178 datatype dtyp = |
179 DtTFree of string |
179 DtTFree of string |
180 | DtType of string * (dtyp list) |
180 | DtType of string * dtyp list |
181 | DtRec of int; |
181 | DtRec of int; |
182 |
182 |
183 (* information about datatypes *) |
183 (* information about datatypes *) |
184 |
184 |
185 (* index, datatype name, type arguments, constructor name, types of constructor's arguments *) |
185 (* index, datatype name, type arguments, constructor name, types of constructor's arguments *) |