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

Method new_array

src/ir/term/mod.rs:928–930  ·  view source on GitHub ↗

Create a new array sort

(key: Sort, val: Sort, size: usize)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 1

ArrayClass · 0.85

Tested by

no test coverage detected