Description

Definitions

builtin list type List (A : Type)Source #

Inductive list.

Constructors

\| nil	The empty list
\| :: A (List A)	An element followed by a list