= 1024" x-on:close-sidebar="sidebar=window.innerWidth >= 1024 && true">
package KaSim
-
KappaLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type connected_component = cc_node array
val cc_to_user_cc :
Signature.s ->
connected_component ->
User_graph.connected_component
val empty : t
val increment_in_snapshot : Signature.s -> connected_component -> t -> t
val export : Signature.s -> t -> (int * User_graph.connected_component) list