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

Function sort0

crates/kernel/src/def_eq.rs:1768–1770  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

1766 }
1767
1768 fn dump_proj_delta_trace(
1769 &self,
1770 phase: &str,
1771 id: &KId<M>,
1772 field: u64,
1773 a: &KExpr<M>,

Callers 11

env_with_idFunction · 0.70
insert_rank_defFunction · 0.70
def_eq_ptr_eqFunction · 0.70
def_eq_lam_structuralFunction · 0.70
def_eq_all_structuralFunction · 0.70
def_eq_betaFunction · 0.70
def_eq_delta_unfoldFunction · 0.70
def_eq_cache_hitFunction · 0.70
def_eq_closed_cache_ignores_context_across_checkersFunction · 0.70
def_eq_open_cache_uses_relevant_context_suffixFunction · 0.70
env_with_prop_and_type_axiomsFunction · 0.70

Calls 1

sortFunction · 0.85

Tested by 8

def_eq_ptr_eqFunction · 0.56
def_eq_lam_structuralFunction · 0.56
def_eq_all_structuralFunction · 0.56
def_eq_betaFunction · 0.56
def_eq_delta_unfoldFunction · 0.56
def_eq_cache_hitFunction · 0.56
def_eq_closed_cache_ignores_context_across_checkersFunction · 0.56
def_eq_open_cache_uses_relevant_context_suffixFunction · 0.56