diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/drl/ast.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/lib/drl/ast.ml b/lib/drl/ast.ml index 6b191bb..2fd56e6 100644 --- a/lib/drl/ast.ml +++ b/lib/drl/ast.ml @@ -1,8 +1,7 @@ open Sexplib.Std (** Literal values for Const nodes *) -type value = Int of int | Float of float | Str of string | Bool of bool -[@@deriving sexp] +type value = Int of int | Float of float | Str of string | Bool of bool [@@deriving sexp] (** Convert an AST value to an AbstractValue.t (Obj.t) via Obj.repr *) let value_to_abstract : value -> Conventions.AbstractValue.t = function @@ -17,8 +16,7 @@ type query = | Base of string (** base relation by name *) | Const of (string * value) list (** constant single-tuple relation *) | Select of query * query (** σ semijoin: (filter, source) *) - | Join of string list * query * query - (** ⋈ natural equijoin on named attrs *) + | Join of string list * query * query (** ⋈ natural equijoin on named attrs *) | Cartesian of query * query (** × Cartesian product *) | Project of string list * query (** π restrict columns *) | Rename of (string * string) list * query (** ρ rename (old,new) pairs *) |