diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-06-23 23:53:26 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-06-23 23:53:26 -0300 |
| commit | c284fcd570342c31bc21169960579a20a763e32e (patch) | |
| tree | ce7485055116d794c55090ad0978e0b3f5ff4c2a /lib/drl/ast.ml | |
| parent | b81586ee4a0543a5f9866586c78dccdd6328934a (diff) | |
| download | Sakura-c284fcd570342c31bc21169960579a20a763e32e.tar.gz Sakura-c284fcd570342c31bc21169960579a20a763e32e.zip | |
Format
Diffstat (limited to 'lib/drl/ast.ml')
| -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 *) |