Function check

src/ir/term/ty.rs:17–19 · view source on GitHub ↗

Type-check this term, at a surface level. That is, determine its type without a full validity check.

(t: &Term)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

fmt_term_with_bindingsFunction · 0.70

eval_opFunction · 0.70

add_outputMethod · 0.70

topo_orderMethod · 0.70

check_topo_orderableMethod · 0.70

unmake_arrayFunction · 0.70

tuple_termsFunction · 0.70

extend_precomputationMethod · 0.70

checkMethod · 0.70

to_widthFunction · 0.70

array_elementsFunction · 0.70

visitMethod · 0.50

check_rawFunction · 0.85

unwrapMethod · 0.45

no test coverage detected