rule.ml
comby-kernel
comby-kernel.language
comby-kernel.match
comby-kernel.matchers
comby-kernel.parsers
comby-kernel.replacement
comby-kernel.rewriter
1 2 3 4 include Types module Alpha = Alpha_rule module Omega = Omega_rule
1 2 3 4
include Types module Alpha = Alpha_rule module Omega = Omega_rule