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