Module `Solver`

include Solver_intf.S

module Solver_mono
  (Hint : Solver_intf.Hint)
  (C : Solver_intf.Lattices_mono) : 
  Solver_intf.Solver_mono
    with type ('a, 'b, 'd) morph := ('a, 'b, 'd) C.morph
     and type 'a obj := 'a C.obj
     and type pinpoint := Hint.Pinpoint.t
     and type 'd hint_morph := 'd Hint.Morph.t
     and type 'd hint_const := 'd Hint.Const.t

Solver that supports lattices with monotone morphisms between them.

Module Solver

Module `Solver`