Module Opam_0install.S

module type CONTEXT = sig ... end
module type SOLVER = sig ... end