sig
  type 'a t = G.t * 'a * Partition.t
  val empty : 'a -> 'a Infsys.Config.t
  val is_empty : ('a -> bool) -> 'a Infsys.Config.t -> bool
  val pp : 'a Pretty.printer -> 'a Infsys.Config.t Pretty.printer
end