Function check

src/ir/term/ext/poly.rs:13–21 · view source on GitHub ↗

Type-check [super::ExtOp::UniqDeriGcd].

(arg_sorts: &[&Sort])

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

nothing calls this directly

count_or_refFunction · 0.85

homogenous_tuple_orFunction · 0.85

count_orFunction · 0.85

tuple_orFunction · 0.85

pf_orFunction · 0.85

eq_orFunction · 0.85

new_tupleFunction · 0.85

no test coverage detected