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

Function mk_id

crates/kernel/src/canonical_check.rs:849–851  ·  view source on GitHub ↗
(s: &str)

Source from the content-addressed store, hash-verified

847 KExpr::sort(KUniv::zero())
848 }
849
850 fn nat() -> AE {
851 AE::cnst(mk_id("Nat"), Box::new([]))
852 }
853
854 fn mk_indc(

Callers 8

natFunction · 0.70
mk_indcFunction · 0.70
compare_kexpr_const_external_by_addrFunction · 0.70
compare_kexpr_const_block_localFunction · 0.70
compare_kexpr_const_block_local_vs_externalFunction · 0.70
compare_kindc_alpha_collapseFunction · 0.70
validate_single_pass_rejects_recursive_alpha_pair_via_refinementFunction · 0.70
kmutctx_ctors_get_offset_indicesFunction · 0.70

Calls 1

mk_addrFunction · 0.70

Tested by 6

compare_kexpr_const_external_by_addrFunction · 0.56
compare_kexpr_const_block_localFunction · 0.56
compare_kexpr_const_block_local_vs_externalFunction · 0.56
compare_kindc_alpha_collapseFunction · 0.56
validate_single_pass_rejects_recursive_alpha_pair_via_refinementFunction · 0.56
kmutctx_ctors_get_offset_indicesFunction · 0.56