From c284fcd570342c31bc21169960579a20a763e32e Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Tue, 23 Jun 2026 23:53:26 -0300 Subject: Format --- lib/drl/ast.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'lib/drl/ast.ml') 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 *) -- cgit v1.2.3