Idris2Doc
: Libraries.Data.List1
Index
Default
Alternative
Black & White
Libraries.Data.List1
(
source
)
Definitions
unsnoc
:
List1
a
->
(
List
a
,
a
)
Totality
:
total
Visibility
:
export