From c284fcd570342c31bc21169960579a20a763e32e Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Tue, 23 Jun 2026 23:53:26 -0300 Subject: Format --- lib/ddl/ast.ml | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) (limited to 'lib/ddl/ast.ml') diff --git a/lib/ddl/ast.ml b/lib/ddl/ast.ml index e1e5bad..86af755 100644 --- a/lib/ddl/ast.ml +++ b/lib/ddl/ast.ml @@ -1,16 +1,12 @@ open Sexplib.Std -type cardinality_spec = - | Finite of int - | AlephZero - | Continuum - | ConstrainedFinite +type cardinality_spec = Finite of int | AlephZero | Continuum | ConstrainedFinite [@@deriving sexp] type statement = | CreateMultigroup of string - | CreateRelation of { name : string; schema : (string * string) list } + | CreateRelation of {name: string; schema: (string * string) list} | RetractRelation of string | ClearRelation of string - | RegisterDomain of { name : string; cardinality : cardinality_spec } + | RegisterDomain of {name: string; cardinality: cardinality_spec} [@@deriving sexp] -- cgit v1.2.3