1 viewer
rust 1,860,549 · typescript 235,540 · javascript 132,956 · python 20,426 · 6,408 files · digest f04d4637f52b · built in 1.5 s · crystals off
prove_source
9lines
1cyclomatic
0max nesting
1statements
0? exits
5params
4callers
1callees
1.3 (p88)call-graph weight
Crystal
no crystal was derived for this function
Call neighbourhood
Callers left, callees right, two hops each way (4 direct callers, 1 direct callees; the heaviest shown). Dashed edges are method calls resolved by name alone.
Control flow
Source not readable from this process.
Callers 4
- proves_trivial_source_program_end_to_end app-inference-proof · name
- same_program_yields_identical_identity_and_commitment app-inference-proof · name ×2
- a_program_run_publishes_an_explicit_program_binding app-inference-proof · name
- interpret_path_binds_its_request_and_rejects_a_swapped_one app-inference-proof · name ×2
Callees 1
- run_and_attest app-inference-proof · name
Source not readable from this process.