code wiki / (root) / _ro_probe_fx_isqrt_20397.nx

_ro_probe_fx_isqrt_20397.nx

buildroot/runtime/_ro_probe_fx_isqrt_20397.nx

936 B26 linesdepth 1pulls 2 transitivereach 0 importersview sourcekind probe
docsdependenciesstructsconstsfunctions

about

GENERATED by nx_retire_onto prove; transient, named per function and pid, removed after the run

dependencies 2 imports · 0 importers

_ro_fixture_cons.nx _ro_fixture_owner.nx _ro_probe_fx_isqrt_20397.nx

imports: _ro_fixture_cons.nx (unresolved)_ro_fixture_owner.nx (unresolved)

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

4func main() -> i64