Juvix.Builtin.V1.List
Contents
builtin list type List (a : Type)Source#
Inductive list.
Constructors
The empty list
An element followed by a list