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

Function sort0

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

Source from the content-addressed store, hash-verified

50}
51
52pub fn sort0() -> ME {
53 ME::sort(MU::zero())
54}
55
56pub fn sort1() -> ME {
57 ME::sort(MU::succ(MU::zero()))

Callers 15

push_pop_local_roundtripFunction · 0.70
push_let_increments_let_countFunction · 0.70
push_local_does_not_touch_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
let_contributes_to_ctx_id_differently_than_localFunction · 0.70
whnf_key_empty_ctx_for_closed_exprFunction · 0.70
whnf_key_includes_ctx_id_for_open_expr_without_letsFunction · 0.70
whnf_key_includes_ctx_id_under_let_with_open_exprFunction · 0.70
whnf_key_closed_expr_ignores_ctx_even_under_letFunction · 0.70
whnf_key_uses_suffix_across_different_outer_ctxFunction · 0.70

Calls 1

sortFunction · 0.85

Tested by

no test coverage detected