ForeignEnv

data FEnv : FFI -> List Type -> Type

Nil : FEnv f []

(::) : (ffi_types f t, t) -> FEnv f xs -> FEnv f (t :: xs)

Fixity

Left associative, precedence 7