Idris2Doc
: Theory.Tuple
Index
Default
Alternative
Black & White
Theory.Tuple
(
source
)
Definitions
tuple_destruct
: (
t
: (
a
,
b
))
->
t
=
(
fst
t
,
snd
t
)
A tuple consists of its first and second element
Totality
:
total
Visibility
:
export