Module array

Array type and operations.

Structs

• ArrayOp
  Concrete array operation.
• ArrayOpDefIter
  An iterator over the variants of ArrayOpDef

Enums

• ArrayOpDef
  Array operation definitions.

Constants

• ARRAY_TYPE_NAME
  Name of the array type in the prelude.
• NEW_ARRAY_OP_ID
  Name of the operation in the prelude for creating new arrays.

Functions

• array_type
  Initialize a new array of element type element_ty of length size
• new_array_op
  Initialize a new array op of element type element_ty of length size