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

Function uzero

crates/kernel/src/testing.rs:106–108  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

104// ---- Universes ----
105
106pub fn uzero() -> MU {
107 MU::zero()
108}
109
110pub fn usucc(u: MU) -> MU {
111 MU::succ(u)

Callers 15

profile_sink_records_delta_edge_and_fuelFunction · 0.85
instantiate_univ_params_sort_paramFunction · 0.85
subst_univ_out_of_range_errorsFunction · 0.85
good_bool_rec_reductionFunction · 0.85
good_bool_rec_reduction_trueFunction · 0.85
good_n_rec_reductionFunction · 0.85
good_n_rec_reduction_succFunction · 0.85
good_rtree_rec_reductionFunction · 0.85
good_nat_lit_eqFunction · 0.85
good_proj_redFunction · 0.85
good_struct_etaFunction · 0.85
good_prod_rec_reductionFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected