Astral_internal.IncrementalSolverBuilder
module type INCREMENTAL_SOLVER = sig ... end
module Make (Solver : INCREMENTAL_SOLVER) : sig ... end