Idris2Doc
: Node
Index
Default
Alternative
Black & White
Node
(
source
)
Definitions
data
Node
: (
0
_
:
Type
)
->
Type
Totality
:
total
Visibility
:
export