1structure Absyn_dtype =
2struct
3
4  datatype vstruct
5       = VAQ    of locn.locn * Term.term
6       | VIDENT of locn.locn * string
7       | VPAIR  of locn.locn * vstruct * vstruct
8       | VTYPED of locn.locn * vstruct * Pretype.pretype
9
10   datatype absyn
11       = AQ     of locn.locn * Term.term
12       | IDENT  of locn.locn * string
13       | QIDENT of locn.locn * string * string
14       | APP    of locn.locn * absyn * absyn
15       | LAM    of locn.locn * vstruct * absyn
16       | TYPED  of locn.locn * absyn * Pretype.pretype
17
18end
19