Demand: Introduce DemandEqIncrSolverFromDemandEqSolver

Author: arkocal

src/solver/postSolver.ml

@@ -349,3 +349,21 @@ module DemandEqIncrSolverFromEqSolver (Sol: GenericEqSolver): DemandEqIncrSolver
       Post.post xs vs vh;
       (vh, ())
   end
+
+
+module DemandEqIncrSolverFromDemandEqSolver (Sol: DemandEqSolver): DemandEqIncrSolver =
+  functor (Arg: IncrSolverArg) (S: DemandEqConstrSys) (VH: Hashtbl.S with type key = S.v) ->
+  struct
+    module EqSys = EqConstrSysFromDemandConstrSys (S)
+    module Sol = Sol (S) (VH)
+    module Post = MakeList (ListArgFromStdArg (EqSys) (VH) (Arg))
+
+    type marshal = unit
+    let copy_marshal () = ()
+    let relift_marshal () = ()
+
+    let solve xs vs _ =
+      let vh = Sol.solve xs vs in
+      Post.post xs vs vh;
+      (vh, ())
+  end