kappa-library.runtime
Kappa_runtime.Generic_rule_interpreter
Graph rewriting module
kappa-library.generic
kappa-library.mixtures
kappa-library.terms
kappa-library.utils
module Make (Instances : Instances_sig.S) : sig ... end