Method next

src/ir/term/mod.rs:1636–1656 · view source on GitHub ↗

(&mut self)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

for_sortingMethod · 0.45

fmt_term_with_bindingsFunction · 0.45

eval_opFunction · 0.45

all_eq_orFunction · 0.45

extend_precomputationMethod · 0.45

term_structureMethod · 0.45

visitMethod · 0.45

from_field_elems_trustedMethod · 0.45

entry_fnMethod · 0.45

from_pestMethod · 0.45

build_factorFunction · 0.45

pushMethod · 0.80

popMethod · 0.80

termMethod · 0.45

unwrapMethod · 0.45

insertMethod · 0.45

cloneMethod · 0.45

no test coverage detected