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

Function sort0

crates/kernel/src/canonical_check.rs:853–855  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

851 AE::cnst(mk_id("Nat"), Box::new([]))
852 }
853
854 fn mk_indc(
855 addr: &str,
856 params: u64,
857 indices: u64,
858 ctors: Vec<KId<Anon>>,

Callers 13

compare_kexpr_alpha_blindFunction · 0.70
compare_kindc_alpha_collapseFunction · 0.70
compare_kindc_orders_by_paramsFunction · 0.70
sort_kconsts_canonical_three_indcsFunction · 0.70
sort_kconsts_alpha_collapses_into_one_classFunction · 0.70
sort_kconsts_seed_key_orders_equal_class_representativeFunction · 0.70
validate_single_pass_accepts_canonical_orderFunction · 0.70
validate_single_pass_rejects_swapFunction · 0.70
validate_single_pass_rejects_uncollapsed_alphaFunction · 0.70
validate_single_pass_rejects_recursive_alpha_pair_via_refinementFunction · 0.70
kmutctx_from_id_pairs_assigns_class_per_memberFunction · 0.70
kmutctx_ctors_get_offset_indicesFunction · 0.70

Calls 1

sortFunction · 0.85

Tested by 13

compare_kexpr_alpha_blindFunction · 0.56
compare_kindc_alpha_collapseFunction · 0.56
compare_kindc_orders_by_paramsFunction · 0.56
sort_kconsts_canonical_three_indcsFunction · 0.56
sort_kconsts_alpha_collapses_into_one_classFunction · 0.56
sort_kconsts_seed_key_orders_equal_class_representativeFunction · 0.56
validate_single_pass_accepts_canonical_orderFunction · 0.56
validate_single_pass_rejects_swapFunction · 0.56
validate_single_pass_rejects_uncollapsed_alphaFunction · 0.56
validate_single_pass_rejects_recursive_alpha_pair_via_refinementFunction · 0.56
kmutctx_from_id_pairs_assigns_class_per_memberFunction · 0.56
kmutctx_ctors_get_offset_indicesFunction · 0.56