diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/ast.ml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -10,6 +10,7 @@ type node = | Int of Z.t | Rat of Z.t * Z.t (** one token, [1/4]; normalized at loading *) | Str of string + | Ref of string (** [#Name], a relation reference *) | Record of (string * node) list (** [{l: n ...}], source order *) | Seq of node list * node option (** [#(a b)], optional [| tail] *) | Block of string * (string * node) list (** [[Rel l: n ...]] *) |
