Module DomPIPartition.M

type 'a t = 'a Treemap.Make(Condition).t

val refine : Condition.t -> inter:('a -> 'a -> 'a) -> join:('a -> 'a -> 'a) -> 'a -> 'a t -> 'a t

val find : Condition.t -> 'a t -> 'a

val empty : 'a t

val make_pretty : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a t -> unit