WIP

src/MultiEq.ml

@@ -0,0 +1,25 @@
+open Signatures
+
+module Make (S : GSTRUCTURE) : GSTRUCTURE =
+struct
+  type 'a structure = 'a S.structure list
+
+  exception InconsistentConjunction
+
+  let conjunction f s1 s2 =
+    List.fold_left
+      (fun _acc e1 ->
+        List.iter (fun e2 -> S.conjunction f e1 e2 |> ignore) s2;
+        failwith "todo")
+      [] s1
+
+  let iter f s =
+    List.iter (fun e -> S.iter f e) s
+
+  let fold f s acc =
+    List.fold_right
+      (fun e acc -> S.fold f e acc) s acc
+
+  let map f s =
+    List.map (fun e -> S.map f e) s
+end