kappa-library.generic
Kappa_data_structures.ValMap
kappa-library.mixtures
kappa-library.runtime
kappa-library.terms
kappa-library.utils
type key = int
type t
val print : Format.formatter -> t -> unit
val random : Random.State.t -> t -> key
val empty : t
val is_empty : t -> bool
val add : key -> int -> t -> t
val mem : key -> t -> bool
val remove : key -> t -> t
val total : t -> Int64.t