Module Contact_map

module Contact_map: sig .. end
(internal_states, (agent_type, agent_site) link_states

type t = (Mods.IntSet.t * Mods.Int2Set.t) array array 
(internal_states, (agent_type, agent_site) link_states
val print_kappa : Signature.s -> Format.formatter -> t -> unit
val print_cycles : Signature.s -> Format.formatter -> t -> unit
val to_yojson : t -> Yojson.Basic.json
val of_yojson : Yojson.Basic.json -> t