Module Kappa_runtime.Generic_rule_interpreter
module Make : functor (Instances : Instances_sig.S) -> sig ... endKappa_runtime.Generic_rule_interpretermodule Make : functor (Instances : Instances_sig.S) -> sig ... end