package kappa-library
Module Kappa_runtime.FluxmapSource
Source
val create_flux :
Kappa_terms.Model.t ->
Counter.t ->
Kappa_terms.Primitives.din_kind ->
Data.din_dataFlux map
incr_flux_flux of_rule on_rule val flux