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

Function pi

crates/kernel/src/testing.rs:64–66  ·  view source on GitHub ↗
(dom: ME, cod: ME)

Source from the content-addressed store, hash-verified

62}
63
64pub fn pi(dom: ME, cod: ME) -> ME {
65 ME::all(mk_name("_"), BinderInfo::Default, dom, cod)
66}
67
68pub fn npi(name: &str, dom: ME, cod: ME) -> ME {
69 ME::all(mk_name(name), BinderInfo::Default, dom, cod)

Callers 15

ensure_forall_on_forall_succeedsFunction · 0.70
expr_mentions_addr_not_foundFunction · 0.70
peano_envFunction · 0.50
good_peano1Function · 0.50
good_peano2Function · 0.50
good_peano3Function · 0.50
bool_envFunction · 0.50
nat_envFunction · 0.50
good_n_rec_reductionFunction · 0.50
good_n_rec_reduction_succFunction · 0.50
rtree_envFunction · 0.50
good_rtree_rec_reductionFunction · 0.50

Calls 1

mk_nameFunction · 0.70

Tested by

no test coverage detected