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