c-dsl/sized

src/c-dsl/sized.tur

statically-length C arrays (Track C / U4).

defopaque

CArr

(CArr [n] :int))

defn

(c-array [n])

name a length-`len` C array. The static length is pinned by

defn

(c-arr-name [n])

the underlying C array expression (its source text).

defn

(c-arr-len [n])

the runtime element count (equals the static `n`).

defn

(c-arr-decl [n])

emit a C declaration statement for the array with element

defn

(c-arr-index [n])

subscript the array with a dynamic C index expression,

defn

(c-arr-at [n])

subscript the array with a *literal* index, bounds-checked

defn

(c-arr-copy-stmt [n])

emit a `memcpy` copying `src` into `dst`. Both operands

Internal definitions

__carr-new-raw

__carr-name-raw

__carr-len-raw

__carr-check-at