| 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 |