Idris2Doc : Data.Linear.LList

Data.Linear.LList

Definitions

dataLList : Type->Type
Totality: total
Visibility: public export
Constructors:
Nil : LLista
(::) : a-@ (LLista-@LLista)

Hints:
Consumablea=>Consumable (LLista)
Duplicablea=>Duplicable (LLista)
length : Consumablea=>LLista-@LNat
Totality: total
Visibility: export