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

Function mk_id

crates/kernel/src/testing.rs:38–40  ·  view source on GitHub ↗
(s: &str)

Source from the content-addressed store, hash-verified

36}
37
38pub fn mk_id(s: &str) -> MId {
39 KId::new(mk_addr(s), mk_name(s))
40}
41
42// ---- Expressions ----
43

Callers 15

expr_mentions_addr_finds_constFunction · 0.70
expr_mentions_any_addr_finds_oneFunction · 0.70
expr_mentions_addr_through_let_all_branchesFunction · 0.70
expr_mentions_addr_detects_proj_struct_idFunction · 0.70
cnstFunction · 0.70
mk_defnFunction · 0.70
mk_thmFunction · 0.70
mk_axiomFunction · 0.70
bool_envFunction · 0.50
nat_envFunction · 0.50
rtree_envFunction · 0.50
good_nat_litFunction · 0.50

Calls 2

mk_addrFunction · 0.70
mk_nameFunction · 0.70

Tested by

no test coverage detected