package KaSim

  1. Overview
  2. Docs
package KaSim
Legend:
Library
Module
Module type
Parameter
Class
Class type
type cc_site = {
  1. site_state : int option;
}
type cc_node = {
  1. node_type : int;
  2. node_sites : cc_site array;
}
type connected_component = cc_node array
type t
val empty : t
val increment_in_snapshot : Signature.s -> connected_component -> t -> t
val export : Signature.s -> t -> (int * User_graph.connected_component) list