Primitives for handling rule rates when detecting symmetries

What users wrote when writing its rules

Printers (user readable) of Kappa compiled units

Intermediate representation of model on which sanity has been checked

Injection from a pattern in the mixture

Compiled representation of a full Kappa model

Domain to navigate in the graph

Kappa pattern compiler

Compiled kappa model unit