mirror of
https://github.com/comby-tools/comby.git
synced 2024-09-11 13:25:36 +03:00
| .. | ||
| alpha_parser.ml | ||
| alpha_rule.ml | ||
| ast.ml | ||
| dune | ||
| omega_parser.ml | ||
| omega_rule.ml | ||
| options.ml | ||
| options.mli | ||
| README.md | ||
| rule.ml | ||
| rule.mli | ||
| syntax.ml | ||
| types.ml | ||
Rule language grammar
grammar ::= "where" sequence
sequence ::= expression ("," expression)*
expression ::=
| bool
| atom "==" atom
| atom "!=" atom
| "rewrite" atom "{" qstring "->" atom "}"
| "match" atom "{" ("|" branch )+ "}"
bool ::= "true" | "false"
atom ::= hole | qstring
qstring ::= '"' quoted-string '"'
hole ::= ":[" hole-identifier "]"
branch ::= qstring "->" sequence
See the page for hole-identifier syntax if it matters.