Skip to main contentModule contract
Source pub use query::*;pub use types::*;
- assets 🔒
- attr 🔒
- Parsing utilities for
#[rapx::requires(...)] outer attributes. - builder
- def
- User-defined contract
def layer. - pest_conv
- Semantic converter: pest
Pairs<Rule> → ContractExpr / NumericPredicate. - pest_grammar
- pest parser for the contract DSL.
- place 🔒
- Place resolution:
syn::Expr → ContractPlace. - query
- Centralized contract query service.
- render 🔒
- User-facing rendering of contract data structures.
- resolve 🔒
- Expression / argument resolution:
syn::Expr → semantic values. - spec 🔒
- Declaration table mapping tag names to their property specs.
- types