1 viewer
rust 1,859,748 · typescript 235,215 · javascript 132,932 · python 20,426 · 6,405 files · digest 3ddca2872e6e · built in 1.4 s · crystals off
json_call
7lines
3cyclomatic
0max nesting
4statements
0? exits
3params
1callers
3callees
1.7 (p92)call-graph weight
Crystal
no crystal was derived for this function
Call neighbourhood
Callers left, callees right, two hops each way (1 direct callers, 3 direct callees; the heaviest shown). Dashed edges are method calls resolved by name alone.
Control flow
Statement-level control-flow graphs are derived from Rust syntax; this function is python.
Callers 1
- Proof::call scripts · name
Source not readable from this process.