functor (Domain : Domain) ->
sig
type t
val empty : unit -> Partitioning_index.Make.t
val add :
Partitioning_index.Domain.t -> Partitioning_index.Make.t -> bool
val pretty : Stdlib.Format.formatter -> Partitioning_index.Make.t -> unit
end