Up – Package index » comby » Sources » comby.language » rule.ml

Source file `rule.ml`

comby
- README
- Library comby
  - Comby
- Library comby.configuration
  - Configuration
- Library comby.interactive
  - Interactive
- Library comby.language
  - Language
- Library comby.match
  - Match
- Library comby.matchers
  - Matchers
- Library comby.parsers
  - Parsers
- Library comby.pipeline
  - Pipeline
- Library comby.replacement
  - Replacement
- Library comby.rewriter
  - Rewriter
- Library comby.server_types
  - Server_types
- Library comby.statistics
  - Statistics
- Sources
  - comby
    - comby.ml
  - comby.configuration
  - comby.interactive
    - interactive.ml
  - comby.language
  - comby.match
  - comby.matchers
  - comby.parsers
  - comby.pipeline
  - comby.replacement
    - replacement.ml
  - comby.rewriter
  - comby.server_types
    - server_types.ml
  - comby.statistics

1
2
3
4
include Types

module Alpha = Alpha_rule
module Omega = Omega_rule