sig
  module type T = sig class make : unit -> Solver_api.theory end
  module Safe_int_solver : T
  module Big_int_solver : T
  module Stretch_solver : T
  module Rational_solver : T
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.