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

Function var

crates/kernel/src/testing.rs:44–46  ·  view source on GitHub ↗
(i: u64)

Source from the content-addressed store, hash-verified

42// ---- Expressions ----
43
44pub fn var(i: u64) -> ME {
45 ME::var(i, mk_name("_"))
46}
47
48pub fn nvar(name: &str, i: u64) -> ME {
49 ME::var(i, mk_name(name))

Callers 15

is_fvar_predicateFunction · 0.70
test_envFunction · 0.70
check_axiom_with_non_sort_type_rejectedFunction · 0.70
check_loose_var_in_decl_rejected_before_inferFunction · 0.70
safe_definition_rejects_unsafe_inductive_refFunction · 0.70
insert_id_defFunction · 0.70
env_varFunction · 0.70
subst_no_internFunction · 0.70
subst_cachedFunction · 0.70
simul_subst_cachedFunction · 0.70
lift_no_internFunction · 0.70
lift_cachedFunction · 0.70

Calls 1

mk_nameFunction · 0.70

Tested by

no test coverage detected