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

Function sort1

crates/kernel/src/infer.rs:632–634  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

630 AE::sort(AU::zero())
631 }
632 fn sort1() -> AE {
633 AE::sort(AU::succ(AU::zero()))
634 }
635
636 /// Env with: Nat (axiom), id (definition)
637 fn test_env() -> KEnv<Anon> {

Callers 5

test_envFunction · 0.70
infer_closed_cache_ignores_contextFunction · 0.70
infer_open_cache_is_context_sensitiveFunction · 0.70
infer_all_returns_imax_of_domain_and_codomain_sortsFunction · 0.70
infer_let_substitutes_value_into_body_typeFunction · 0.70

Calls 1

sortFunction · 0.85

Tested by 5

test_envFunction · 0.56
infer_closed_cache_ignores_contextFunction · 0.56
infer_open_cache_is_context_sensitiveFunction · 0.56
infer_all_returns_imax_of_domain_and_codomain_sortsFunction · 0.56
infer_let_substitutes_value_into_body_typeFunction · 0.56