Function var

src/ir/term/mod.rs:1511–1513 · view source on GitHub ↗

Make a variable term.

(name: String, sort: Sort)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

flattenMethod · 0.85

topo_orderMethod · 0.85

check_topo_orderMethod · 0.85

check_topo_orderableMethod · 0.85

termMethod · 0.85

new_varMethod · 0.85

new_var_metadataMethod · 0.85

eqFunction · 0.85

tFunction · 0.85

varsFunction · 0.85

decl_listMethod · 0.85

v_bvFunction · 0.85

leaf_termFunction · 0.85

eqFunction · 0.68

tFunction · 0.68

varsFunction · 0.68

c_store_chainFunction · 0.68

mix_store_chainFunction · 0.68