diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-06-23 23:53:26 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-06-23 23:53:26 -0300 |
| commit | c284fcd570342c31bc21169960579a20a763e32e (patch) | |
| tree | ce7485055116d794c55090ad0978e0b3f5ff4c2a /lib/icl/ast.ml | |
| parent | b81586ee4a0543a5f9866586c78dccdd6328934a (diff) | |
| download | Sakura-c284fcd570342c31bc21169960579a20a763e32e.tar.gz Sakura-c284fcd570342c31bc21169960579a20a763e32e.zip | |
Format
Diffstat (limited to 'lib/icl/ast.ml')
| -rw-r--r-- | lib/icl/ast.ml | 18 |
1 files changed, 6 insertions, 12 deletions
diff --git a/lib/icl/ast.ml b/lib/icl/ast.ml index 30b0fa7..1a5b096 100644 --- a/lib/icl/ast.ml +++ b/lib/icl/ast.ml @@ -1,23 +1,17 @@ open Sexplib.Std -type binding_expr = - | Var of string - | Const of Drl.Ast.value (** reuse DRL value for literals *) +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 } + | 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 } + | 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; - } + | RegisterConstraint of {constraint_name: string; relation_name: string; body: constraint_body} [@@deriving sexp] |