Structs§
- Cli
- Explain
Args 🔒 - Explain
Report 🔒 - Generated
Rule 🔒Diagnostic - Generated
Rule 🔒RowDecision - Prob
Args 🔒 - Repl
Args 🔒 - RunArgs 🔒
- Threshold
Comparison 🔒 - Watch
Args 🔒
Enums§
- Command 🔒
- Explain
Format 🔒 - Output
Format 🔒 - Prob
Engine 🔒Cli - Prob
Method 🔒Cli - Prob
Output 🔒Format - Stats
Format 🔒
Functions§
- atom_
label 🔒 - bindings_
for_ 🔒source_ row - bound_
term 🔒 - build_
explain_ 🔒report - comp_
op_ 🔒label - compare_
i64 🔒 - compare_
terms 🔒 - declared_
column_ 🔒names - diagnostic_
source_ 🔒atom - diagnostic_
source_ 🔒predicate - dot_
escape 🔒 - eir_
atom_ 🔒json - eir_
epistemic_ 🔒literal_ json - eir_
term_ 🔒label - emit_
logic_ 🔒results - explain 🔒
- explain_
aggregate_ 🔒lifting - explain_
epistemic 🔒 - explain_
generated_ 🔒rule_ diagnostics - external_
relation_ 🔒source - external_
relation_ 🔒source_ from_ manifest - generated_
rule_ 🔒candidate - json_
escape 🔒 - json_
optional_ 🔒string - json_
string_ 🔒array - json_
value 🔒 - json_
value_ 🔒array - json_
value_ 🔒to_ term - load_
external_ 🔒relation_ rows - magic_
status_ 🔒label - main 🔒
- make_
provider 🔒 - matching_
fact_ 🔒exists - parse_
inputs 🔒 - predicate_
failures 🔒 - print_
explain_ 🔒json - print_
explain_ 🔒text - print_
generated_ 🔒rule_ diagnostics_ json - print_
magic_ 🔒dot - print_
magic_ 🔒text - print_
proof_ 🔒traces_ json - print_
rule_ 🔒provenance_ json - program_
has_ 🔒epistemic_ literals - relation_
json_ 🔒candidates - repl 🔒
- resolve_
explain_ 🔒imports - run_
deterministic 🔒 - run_
probabilistic 🔒 - source_
rows_ 🔒for_ atom - term_
label 🔒 - watch 🔒