Module Comby_kernelSource

Sourcemodule Match : sig ... end
Sourcetype match' = Match.t
Sourcemodule Matchers : sig ... end
Sourcemodule Rule : sig ... end
Sourcetype rule = Rule.t
Sourcemodule Replacement : sig ... end
Sourcetype replacement = Replacement.result
Sourcemodule Rewrite : sig ... end