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

Function sort1

crates/kernel/src/testing.rs:56–58  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

54}
55
56pub fn sort1() -> ME {
57 ME::sort(MU::succ(MU::zero()))
58}
59
60pub fn sort(u: MU) -> ME {
61 ME::sort(u)

Callers 15

push_pop_local_roundtripFunction · 0.70
push_let_increments_let_countFunction · 0.70
ctx_id_changes_when_pushing_different_typesFunction · 0.70
ctx_id_same_pushes_yield_same_hashFunction · 0.70
ctx_id_restores_on_popFunction · 0.70
whnf_key_uses_suffix_across_different_outer_ctxFunction · 0.70
lookup_var_returns_lifted_typeFunction · 0.70
lookup_let_val_returns_some_for_let_bindingFunction · 0.70
lookup_let_val_out_of_rangeFunction · 0.70
save_and_restore_depth_basicFunction · 0.70
restore_depth_drops_let_countFunction · 0.70
reset_clears_thread_local_stateFunction · 0.70

Calls 1

sortFunction · 0.85

Tested by

no test coverage detected