Function bool_lit

src/ir/term/mod.rs:1544–1546 · view source on GitHub ↗

Make a bit-vector constant term.

(b: bool)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

nth_elemMethod · 0.70

group_identityMethod · 0.70

start_persistent_arrayMethod · 0.70

traverse_constFunction · 0.70

traverse_const_emptyFunction · 0.70

boolFunction · 0.70

termMethod · 0.50

cboolFunction · 0.50

fold_cacheFunction · 0.50

combineMethod · 0.50

boolFunction · 0.50

undoFunction · 0.50

const_Function · 0.85

traverse_constFunction · 0.56

traverse_const_emptyFunction · 0.56

boolFunction · 0.56

undoFunction · 0.40