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]