dml and dcl

1 files changed, 23 insertions, 0 deletions

diff --git a/lib/dcl/ast.ml b/lib/dcl/ast.ml
new file mode 100644
index 0000000..95e0271
--- /dev/null
+++ b/lib/dcl/ast.ml
@@ -0,0 +1,23 @@
+open Sexplib.Std
+
+type binding_expr =
+  | Var of string
+  | Const of Drl.Ast.value  (** reuse DRL value for literals *)
+[@@deriving sexp]
+
+type constraint_body =
+  | MemberOf of { target: string; binding: (string * binding_expr) list }
+  | Not of { body: constraint_body; universe: string }
+  | And of constraint_body list
+  | Or of constraint_body list
+  | Exists of { variable: string; quantifier: string; body: constraint_body }
+  | Forall of { variable: string; quantifier: string; body: constraint_body }
+[@@deriving sexp]
+
+type statement =
+  | RegisterConstraint of {
+      constraint_name: string;
+      relation_name: string;
+      body: constraint_body;
+    }
+[@@deriving sexp]