CHStridedGaussSeidelSigmaCombinator
exception Bottom_found
class strided_gauss_seidel_sigma_combinator_t : linear_domain:CHUtils.StringCollections.ObjectSet.elt -> interval_domain: CHUtils.StringCollections.ObjectSet.elt -> threshold:int option -> object ... end