Skip to main content

rapx/verify/contract/
pest_grammar.rs

1//! pest parser for the contract DSL.
2//!
3//! The grammar (`grammar.pest`) is the single source of truth for the
4//! contract-DSL surface.  This module only wires the derived parser; the
5//! semantic conversion (`Pairs<Rule>` → `ContractExpr` / `Property`) lives in
6//! `pest_conv.rs`.
7
8use pest_derive::Parser;
9
10/// Parser derived from `grammar.pest`.
11#[derive(Parser)]
12#[grammar = "verify/contract/grammar.pest"]
13pub struct ContractParser;
14
15