Module Kappa_site_graphs.Snapshot

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