sig
  type 'a site_partition = {
    over_binding_states : 'a list list;
    over_internal_states : 'a list list;
    over_full_states : 'a list list;
  }
  val empty : 'a Symmetries_sig.site_partition
  val map :
    ('a -> 'b) ->
    'a Symmetries_sig.site_partition -> 'b Symmetries_sig.site_partition
  val clean :
    'a Symmetries_sig.site_partition -> 'a Symmetries_sig.site_partition
  val print :
    Loggers.t ->
    ('agent -> Format.formatter -> 'site -> unit) ->
    (Format.formatter -> 'agent -> unit) ->
    'agent -> 'site Symmetries_sig.site_partition -> unit
end