Module Kappa_site_graphs.SnapshotSource

Sourcetype cc_site = {
  1. site_state : int option;
}
Sourcetype cc_node = {
  1. node_type : int;
  2. node_id_in_witness : int;
  3. node_sites : cc_site array;
}
Sourcetype connected_component = cc_node array
Sourcetype t
Sourceval cc_to_user_cc : ?keep_inverted_counters:bool -> debug_mode:bool -> raw:bool -> Signature.s -> connected_component -> User_graph.connected_component
Sourceval empty : t
Sourceval increment_in_snapshot : raw:bool -> Signature.s -> connected_component -> t -> t
Sourceval export : debug_mode:bool -> raw:bool -> Signature.s -> t -> (int * User_graph.connected_component) list
Sourceval fold : ('a -> int -> connected_component -> 'a) -> 'a -> t -> 'a