Type

type-t

Description

List type constructor. (list-t E) represents an immutable list with element type E.

Examples

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