| 13 |
| SchemaDecl of string * Schema_types.schema (* name, schema *) |
| SchemaDecl of string * Schema_types.schema (* name, schema *) |
| 14 |
| LetDecl of ppat * pexpr |
| LetDecl of ppat * pexpr |
| 15 |
| FunDecl of pexpr |
| FunDecl of pexpr |
| 16 |
| Namespace of U.t * Atoms.Ns.t |
| Namespace of U.t * Ns.t |
| 17 |
| EvalStatement of pexpr |
| EvalStatement of pexpr |
| 18 |
| Debug of debug_directive |
| Debug of debug_directive |
| 19 |
| Directive of toplevel_directive |
| Directive of toplevel_directive |
| 32 |
|
|
| 33 |
and pconst = |
and pconst = |
| 34 |
| Const_internal of Types.const |
| Const_internal of Types.const |
| 35 |
| Const_atom of U.t * U.t |
| Const_atom of U.t |
| 36 |
|
|
| 37 |
and pexpr = |
and pexpr = |
| 38 |
| LocatedExpr of loc * pexpr |
| LocatedExpr of loc * pexpr |
| 65 |
| Try of pexpr * branches |
| Try of pexpr * branches |
| 66 |
|
|
| 67 |
(* Other *) |
(* Other *) |
| 68 |
| NamespaceIn of U.t * Atoms.Ns.t * pexpr |
| NamespaceIn of U.t * Ns.t * pexpr |
| 69 |
|
|
| 70 |
and abstr = { |
and abstr = { |
| 71 |
fun_name : id option; |
fun_name : id option; |
| 82 |
| PatVar of U.t |
| PatVar of U.t |
| 83 |
| SchemaVar of (* type/pattern schema variable *) |
| SchemaVar of (* type/pattern schema variable *) |
| 84 |
schema_item_kind * string * string |
schema_item_kind * string * string |
| 85 |
| AtomT of U.t * (U.t option) |
| AtomT of U.t |
| 86 |
|
| NsT of U.t |
| 87 |
| Recurs of ppat * (U.t * ppat) list |
| Recurs of ppat * (U.t * ppat) list |
| 88 |
| Internal of Types.descr |
| Internal of Types.descr |
| 89 |
| Or of ppat * ppat |
| Or of ppat * ppat |