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

Function whnf_sort_identity

crates/kernel/src/whnf.rs:3162–3166  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

3160 }
3161
3162 Ok(None)
3163 }
3164
3165 fn try_reduce_bitvec_ult(
3166 &mut self,
3167 width: &KExpr<M>,
3168 lhs: &KExpr<M>,
3169 rhs: &KExpr<M>,

Callers

nothing calls this directly

Calls 1

env_with_idFunction · 0.70

Tested by

no test coverage detected