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]