Type

type-t

Description

Array type constructor. (array-t E) represents a mutable array with element type E.

Examples

(claim numbers (array-t int-t))
(claim names (array-t text-t))