Kappa_terms.Contact_mapSourcetype t =
(Kappa_data_structures.Mods.IntSet.t * Kappa_data_structures.Mods.Int2Set.t)
array
array(internal_states, (agent_type, agent_site) link_states
val print_kappa :
noCounters:bool ->
Kappa_site_graphs.Signature.s ->
Format.formatter ->
t ->
unit