Idris2Doc : JS.Record

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)