Module type `Solver_intf.S`

module Solver_mono
  (Hint : Hint)
  (C : Lattices_mono) : 
  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 type Solver_intf.S

Module type `Solver_intf.S`