| 9 |
and pmodule_item' = |
and pmodule_item' = |
| 10 |
| TypeDecl of string * ppat |
| TypeDecl of string * ppat |
| 11 |
| PatDecl of string * ppat |
| PatDecl of string * ppat |
|
| FunDecl of abstr |
|
| 12 |
| LetDecl of ppat * pexpr |
| LetDecl of ppat * pexpr |
| 13 |
|
| FunDecl of pexpr |
| 14 |
| EvalStatement of pexpr |
| EvalStatement of pexpr |
| 15 |
| Debug of debug_directive |
| Debug of debug_directive |
| 16 |
and debug_directive = |
and debug_directive = |
| 17 |
[ `Filter of ppat * ppat |
[ `Filter of ppat * ppat |
| 18 |
|
| `Sample of ppat |
| 19 |
| `Accept of ppat |
| `Accept of ppat |
| 20 |
| `Compile of ppat * ppat list |
| `Compile of ppat * ppat list |
|
| `Normal_record of ppat |
|
|
| `Compile2 of ppat * ppat list |
|
| 21 |
| `Subtype of ppat * ppat |
| `Subtype of ppat * ppat |
| 22 |
] |
] |
| 23 |
|
|
| 26 |
| LocatedExpr of loc * pexpr |
| LocatedExpr of loc * pexpr |
| 27 |
|
|
| 28 |
| Forget of pexpr * ppat |
| Forget of pexpr * ppat |
| 29 |
|
| Op of string * pexpr list |
| 30 |
|
|
| 31 |
(* CDuce is a Lambda-calculus ... *) |
(* CDuce is a Lambda-calculus ... *) |
| 32 |
| Var of id |
| Var of id |
| 40 |
| RecordLitt of pexpr label_map |
| RecordLitt of pexpr label_map |
| 41 |
|
|
| 42 |
(* Data destructors *) |
(* Data destructors *) |
|
| Op of string * pexpr list |
|
| 43 |
| Match of pexpr * branches |
| Match of pexpr * branches |
| 44 |
| Map of bool * pexpr * branches |
| Map of pexpr * branches |
| 45 |
|
| Transform of pexpr * branches |
| 46 |
| Xtrans of pexpr * branches |
| Xtrans of pexpr * branches |
| 47 |
| Dot of pexpr* label |
| Dot of pexpr* label |
| 48 |
| RemoveField of pexpr * label |
| RemoveField of pexpr * label |