Function pf_or

src/ir/term/ty.rs:651–656 · view source on GitHub ↗

(a: &'a Sort, ctx: &'static str)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

rec_check_raw_helperFunction · 0.85

checkFunction · 0.85

cloneMethod · 0.45

no test coverage detected