elenchus-parser 0.6.0

English-like DSL parser for the elenchus consistency checker (facts, premises, rules, checks).
Documentation 
1
2
3
4
5
6
7

---
source: crates/elenchus-parser/tests/errors.rs
expression: "err(r#\"\n        PREMISE modes\n            EXCLUSIVE\n                a b\n                a c\n        \"#)"
---
Syntax Error at line 2, col 22: expected ':' after the premise name
  |         PREMISE modes
  |                      ^--- here