Module Kappa_runtime__Generic_rule_interpreter
Graph rewriting module
module Make : functor (Instances : Kappa_runtime.Instances_sig.S) -> sig ... endKappa_runtime__Generic_rule_interpreterGraph rewriting module
module Make : functor (Instances : Kappa_runtime.Instances_sig.S) -> sig ... end