Idris2Doc
: JS.Record
Index
Default
Alternative
Black & White
JS.Record
(
source
)
Definitions
data
Record
:
Type
->
Type
->
Type
Totality
:
total
Visibility
:
export
Hints
:
FromFFI
(
Record
a
b
) (
Record
a
b
)
ToFFI
(
Record
a
b
) (
Record
a
b
)