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

Function usucc

crates/kernel/src/testing.rs:110–112  ·  view source on GitHub ↗
(u: MU)

Source from the content-addressed store, hash-verified

108}
109
110pub fn usucc(u: MU) -> MU {
111 MU::succ(u)
112}
113
114pub fn umax(a: MU, b: MU) -> MU {
115 MU::max(a, b)

Callers 15

profile_sink_records_delta_edge_and_fuelFunction · 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
prod_envFunction · 0.85
good_proj_redFunction · 0.85
good_struct_etaFunction · 0.85
good_prod_rec_reductionFunction · 0.85
good_quot_lift_reductionFunction · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected