Iterator.Make
module D : Signature.Domain
type space = D.t
type t = {
space : space;
constr : D.internal_constr list;
}
val init : ?verbose:bool -> Csp.t -> t
val propagate : t -> t Consistency.t
val split : ?prec:float -> t -> t list
val spawn : t -> Csp.instance
val to_result : inner:bool -> space Result.t -> t -> space Result.t
val to_csp : t -> Csp.t