nspec - 0.1.0

Juvix.Builtin.V1.List

Definitions

builtin list type List (a : Type)Source#

Inductive list.

Constructors

| nil

The empty list

| :: a (List a)

An element followed by a list