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

Method check

src/ir/term/ext.rs:60–73  ·  view source on GitHub ↗

Type-check, given argument sorts

(&self, arg_sorts: &[&Sort])

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 5

check_array_to_mapFunction · 0.85
check_map_contains_keyFunction · 0.85
check_map_selectFunction · 0.85
check_map_flipFunction · 0.85
checkFunction · 0.70

Tested by

no test coverage detected