Solver_intf.Hint
Hint module to be provided by the user of the solver.
module Pinpoint : sig ... end
module Morph : sig ... end
module Const : sig ... end