Idris2Doc
: JS.VarArg
Index
Default
Alternative
Black & White
JS.VarArg
(
source
)
Definitions
data
VarArg
:
Type
->
Type
Totality
:
total
Visibility
:
export