diff options
Diffstat (limited to 'lib/icl/ast.ml')
| -rw-r--r-- | lib/icl/ast.ml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/lib/icl/ast.ml b/lib/icl/ast.ml deleted file mode 100644 index 1a5b096..0000000 --- a/lib/icl/ast.ml +++ /dev/null @@ -1,17 +0,0 @@ -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] |