Idris2Doc : JS.Record

JS.Record

(source)

Definitions

dataRecord : Type->Type->Type
Totality: total
Visibility: export
Hints:
FromFFI (Recordab) (Recordab)
ToFFI (Recordab) (Recordab)