Module Kappa_mixtures.Snapshot

type cc_site = {
site_state : int option;
}
type cc_node = {
node_type : int;
node_id_in_witness : int;
node_sites : cc_site array;
}
type connected_component = cc_node array
type t
val cc_to_user_cc : debugMode: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 : debugMode:bool -> raw:bool -> Signature.s -> t -> (int * User_graph.connected_component) list
val fold : ('a -> int -> connected_component -> 'a) -> 'a -> t -> 'a