From e32ba6294781691846c3ab19281fe977350b4d0f Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 15:30:53 -0300 Subject: preparation cleanup for RNT integration --- lib/ddl/ast.ml | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 lib/ddl/ast.ml (limited to 'lib/ddl/ast.ml') diff --git a/lib/ddl/ast.ml b/lib/ddl/ast.ml deleted file mode 100644 index 86af755..0000000 --- a/lib/ddl/ast.ml +++ /dev/null @@ -1,12 +0,0 @@ -open Sexplib.Std - -type cardinality_spec = Finite of int | AlephZero | Continuum | ConstrainedFinite -[@@deriving sexp] - -type statement = - | CreateMultigroup of string - | CreateRelation of {name: string; schema: (string * string) list} - | RetractRelation of string - | ClearRelation of string - | RegisterDomain of {name: string; cardinality: cardinality_spec} -[@@deriving sexp] -- cgit v1.2.3