module Solver_types_intf: sig .. end
sig
end
Internal types (interface)
This modules defines the interface of most of the internal types used in the core solver.
module type S = sig .. end