MCPcopy Create free account
hub / github.com/circify/circ / check_map_select

Function check_map_select

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

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

(arg_sorts: &[&Sort])

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

checkMethod · 0.85

Calls 4

count_or_refFunction · 0.85
map_orFunction · 0.85
eq_orFunction · 0.85
cloneMethod · 0.45

Tested by

no test coverage detected