Kappa_runtime.Generic_rule_interpreter
Graph rewriting module
module Make (Instances : Instances_sig.S) : sig ... end