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

Function sort

crates/kernel/src/testing.rs:60–62  ·  view source on GitHub ↗
(u: MU)

Source from the content-addressed store, hash-verified

58}
59
60pub fn sort(u: MU) -> ME {
61 ME::sort(u)
62}
63
64pub fn pi(dom: ME, cod: ME) -> ME {
65 ME::all(mk_name("_"), BinderInfo::Default, dom, cod)

Callers 15

decompile_exprFunction · 0.85
test_projection_decompile_loads_meta_extensionsFunction · 0.85
sort0Function · 0.85
sort0Function · 0.85
ungrounded_level_paramFunction · 0.85
grounded_level_param_when_declaredFunction · 0.85
egress_exprFunction · 0.85
kexpr_to_ixonFunction · 0.85
sort0Function · 0.85
sort_succFunction · 0.85
compile_exprFunction · 0.85
test_compile_expr_sortFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected