Move operators into modules

formalsec · Dec 6, 2024 · 7e452c7 · 7e452c7
1 parent cfc3534
commit 7e452c7
Show file tree

Hide file tree

Showing 12 changed files with 826 additions and 853 deletions.
diff --git a/src/binder.ml b/src/binder.ml
@@ -0,0 +1,15 @@
+(* Dolmen's binders *)
+type t =
+  | Forall
+  | Exists
+  | Let_in
+
+let equal a b =
+  match (a, b) with
+  | Forall, Forall | Exists, Exists | Let_in, Let_in -> true
+  | (Forall | Exists | Let_in), _ -> false
+
+let pp fmt = function
+  | Forall -> Fmt.string fmt "forall"
+  | Exists -> Fmt.string fmt "exists"
+  | Let_in -> Fmt.string fmt "let"