Function check_array_to_map

src/ir/term/ext/map.rs:7–11 · view source on GitHub ↗

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

(arg_sorts: &[&Sort])

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

checkMethod · 0.85

count_or_refFunction · 0.85

array_orFunction · 0.85

cloneMethod · 0.45

no test coverage detected