0 | module JS.VarArg 1 | 2 | %default total 3 | 4 | -- TODO: How to handle vararg functions 5 | export 6 | data VarArg : Type -> Type where [external] 7 |