Idris2Doc
: HTTP.API.Client.Path
Index
Default
Alternative
Black & White
HTTP.API.Client.Path
(
source
)
Definitions
recTypes
: (
ps
:
List
Part
)
->
TList
(
PartsTypes
ps
)
Totality
:
total
Visibility
:
export