Source: rewriter.ml (p.comby-kernel.1.4.1.doc.src.comby-kernel.rewriter)

comby-kernel
- README
- Library comby-kernel
  - Comby_kernel
- Library comby-kernel.language
  - Language
- Library comby-kernel.match
  - Match
- Library comby-kernel.matchers
  - Matchers
- Library comby-kernel.parsers
  - Parsers
- Library comby-kernel.replacement
  - Replacement
- Library comby-kernel.rewriter
  - Rewriter
- Sources
  - comby-kernel
    - comby_kernel.ml
  - comby-kernel.language
  - comby-kernel.match
  - comby-kernel.matchers
  - comby-kernel.parsers
  - comby-kernel.replacement
    - replacement.ml
  - comby-kernel.rewriter