Function const_

src/ir/term/mod.rs:1516–1518 · view source on GitHub ↗

Make a constant term.

(value: Value)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

eval_opFunction · 0.85

default_termMethod · 0.85

pf_litFunction · 0.85

bv_litFunction · 0.85

bool_litFunction · 0.85

termMethod · 0.85

cbvFunction · 0.85

fold_cacheFunction · 0.85

combineMethod · 0.85

termify_val_tuplesFunction · 0.85

visitMethod · 0.85

leaf_termFunction · 0.85

oblivFunction · 0.68

not_oblivFunction · 0.68

mix_diff_constantFunction · 0.68

mix_same_constantFunction · 0.68

sat_testFunction · 0.68

unsat_testFunction · 0.68