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