
  0 | module JS.Record
  1 | 
  2 | import JS.Marshall
  3 | 
  4 | %default total
  5 | 
  6 | export
  7 | data Record : Type -> Type -> Type where [external]
  8 | 
  9 | export
 10 | ToFFI (Record a b) (Record a b) where toFFI = id
 11 | 
 12 | export
 13 | FromFFI (Record a b) (Record a b) where fromFFI = Just
 14 |