hub / github.com/circify/circ / substitute_cache

Function substitute_cache

src/ir/term/extras.rs:22–45 · view source on GitHub ↗

Rewrites `t`, applying the substitutions in `subs`. The substitution map is taken mutably; this function will add rewrites to it. This allows the same map to be re-used across multiple rewrites, with caching. TODO: Return a reference into the subs.

(t: &Term, subs: &mut TermMap<Term>)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 6

flattenMethod · 0.85

substituteFunction · 0.85

substitute_singleFunction · 0.85

link_oneFunction · 0.85

applyMethod · 0.85

fits_in_bits_ipFunction · 0.85

Calls 12

termFunction · 0.85

popMethod · 0.80

contains_keyMethod · 0.80

pushMethod · 0.80

extendMethod · 0.80

mapMethod · 0.80

cloneMethod · 0.45

csMethod · 0.45

opMethod · 0.45

collectMethod · 0.45

getMethod · 0.45

insertMethod · 0.45

Tested by

no test coverage detected