FFI

set_ffi_types : (ffi_types : Type -> Type) -> (rec : FFI) -> FFI

set_ffi_fn : (ffi_fn : Type) -> (rec : FFI) -> FFI

set_ffi_data : (ffi_data : Type) -> (rec : FFI) -> FFI

ffi_types : (rec : FFI) -> Type -> Type

ffi_fn : (rec : FFI) -> Type

ffi_data : (rec : FFI) -> Type