MCPcopy Create free account
hub / github.com/argumentcomputer/ix / clone

Method clone

crates/ffi/src/lean.rs:317–319  ·  view source on GitHub ↗
(&self)

Source from the content-addressed store, hash-verified

315 { }, // tag 2: notFound
316 ];
317
318 LeanIxBlockCompareDetail [ { num_obj: 1, num_64: 2 } ];
319 LeanIxBlock [ { num_obj: 2, num_64: 1 } ];
320
321 // --- Error types ---
322

Callers 15

constant_inputsFunction · 0.45
mainFunction · 0.45
leaf_assumptionsFunction · 0.45
find_missing_depsFunction · 0.45
run_constantFunction · 0.45
run_shard_planFunction · 0.45
closure_detects_missing_depFunction · 0.45
mainFunction · 0.45
mainFunction · 0.45
executeMethod · 0.45
unconstrained_big_uint_div_mod_helperFunction · 0.45
buildMethod · 0.45

Calls

no outgoing calls

Tested by 15

closure_detects_missing_depFunction · 0.36
test_callsite_reconstructs_source_order_spineFunction · 0.36
test_callsite_collapsed_reads_meta_sharing_not_sharingFunction · 0.36
test_projection_decompile_loads_meta_extensionsFunction · 0.36
defn_with_const_refsFunction · 0.36
in_refs_bidirectionalFunction · 0.36
two_cycles_connectedFunction · 0.36
complex_graphFunction · 0.36
level_max_zero_absorptionFunction · 0.36
level_max_same_base_succFunction · 0.36
level_max_same_base_different_offsetsFunction · 0.36
level_imax_succ_collapses_to_maxFunction · 0.36