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 { num_obj: 2, num_64: 1 }, // tag 4: invalidUnivVarIndex
316 { num_obj: 1 }, // tag 5: missingAddress
317 { num_obj: 1 }, // tag 6: missingMetadata
318 { num_obj: 1 }, // tag 7: blobNotFound
319 { num_obj: 2 }, // tag 8: badBlobFormat
320 { num_obj: 1 }, // tag 9: badConstantFormat
321 { num_obj: 1 }, // tag 10: serialize
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