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

Function sort1

crates/kernel/src/inductive.rs:4522–4524  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

4520 &mut self,
4521 field_idx: u64,
4522 n_fields: u64,
4523 total_lams: u64,
4524 target_bi: usize,
4525 flat: &[FlatBlockMember<M>],
4526 peer_recs: &[KId<M>],
4527 n_rec_params: usize,

Callers 13

bool_envFunction · 0.70
nat_envFunction · 0.70
nested_tree_envFunction · 0.70
syntax_like_envFunction · 0.70
syntax_like_false_positive_rec_fieldFunction · 0.70
inline_like_envFunction · 0.70
wf_like_envFunction · 0.70
wrap_evil_envFunction · 0.70
negative_self_function_envFunction · 0.70
accept_valid_nested_list_treeFunction · 0.70
reject_mutual_peers_with_mismatched_param_domainsFunction · 0.70
accept_mutual_peers_with_matching_param_domainsFunction · 0.70

Calls 1

sortFunction · 0.85

Tested by 5

syntax_like_false_positive_rec_fieldFunction · 0.56
accept_valid_nested_list_treeFunction · 0.56
reject_mutual_peers_with_mismatched_param_domainsFunction · 0.56
accept_mutual_peers_with_matching_param_domainsFunction · 0.56
reject_mutual_peers_with_mismatched_param_countFunction · 0.56