comby-kernel
Comby_kernel
comby-kernel.language
comby-kernel.match
comby-kernel.matchers
comby-kernel.parsers
comby-kernel.replacement
comby-kernel.rewriter
module Match : sig ... end
type match' = Match.t
module Matchers : sig ... end
module Rule : sig ... end
type rule = Rule.t
module Replacement : sig ... end
type replacement = Replacement.result
module Rewrite : sig ... end