| 42 |
(* Data destructors *) |
(* Data destructors *) |
| 43 |
| Op of string * pexpr list |
| Op of string * pexpr list |
| 44 |
| Match of pexpr * branches |
| Match of pexpr * branches |
| 45 |
| Map of pexpr * branches |
| Map of bool * 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 |
| 50 |
(* Exceptions *) |
(* Exceptions *) |
| 51 |
| Try of pexpr * branches |
| Try of pexpr * branches |
| 52 |
|
|
|
| MatchFail (* internal usage *) |
|
|
|
|
| 53 |
and abstr = { |
and abstr = { |
| 54 |
fun_name : id option; |
fun_name : id option; |
| 55 |
fun_iface : (ppat * ppat) list; |
fun_iface : (ppat * ppat) list; |