Modules§
- generated_
rule_ 🔒diagnostics - Generated-rule diagnostic row analysis and JSON presentation.
Structs§
- Cli
- Explain
Args 🔒 - Explain
Report 🔒 - Prob
Args 🔒 - Repl
Args 🔒 - RunArgs 🔒
- Watch
Args 🔒
Enums§
- Command 🔒
- Explain
Format 🔒 - Module
Merge 🔒Error Kind - Output
Format 🔒 - Prob
Engine 🔒Cli - Prob
Method 🔒Cli - Prob
Output 🔒Format - Stats
Format 🔒
Functions§
- build_
explain_ 🔒report - dot_
escape 🔒 - eir_
atom_ 🔒json - eir_
epistemic_ 🔒literal_ json - eir_
term_ 🔒label - emit_
logic_ 🔒results - epistemic_
execution_ 🔒backend_ label - epistemic_
fallback_ 🔒policy_ label - explain 🔒
- explain_
aggregate_ 🔒lifting - explain_
epistemic 🔒 - explain_
source_ 🔒diagnostics - json_
escape 🔒 - json_
optional_ 🔒string - json_
string_ 🔒array - json_
value 🔒 - json_
value_ 🔒array - magic_
status_ 🔒label - main 🔒
- make_
provider 🔒 - memory_
budget_ 🔒bytes - parse_
inputs 🔒 - print_
explain_ 🔒json - print_
explain_ 🔒text - print_
magic_ 🔒dot - print_
magic_ 🔒text - print_
proof_ 🔒traces_ json - print_
rule_ 🔒provenance_ json - program_
has_ 🔒epistemic_ literals - repl 🔒
- resolve_
explain_ 🔒imports - resolve_
program_ 🔒imports - run_
deterministic 🔒 - run_
probabilistic 🔒 - unavailable_
epistemic_ 🔒analysis - warn_
ignored_ 🔒import_ pragmas - Surface pragmas declared in imported modules on stderr. Pragmas are entry-file-scoped, so these directives are dropped at merge time; the warning keeps that scoping from being silent.
- watch 🔒