Function to_width

src/ir/term/extras.rs:7–14 · view source on GitHub ↗

Convert `t` to width `w`, though unsigned extension or extraction

(t: &Term, w: usize)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

nothing calls this directly

termFunction · 0.85

as_bvMethod · 0.80

checkFunction · 0.70

cmpMethod · 0.45

cloneMethod · 0.45

no test coverage detected