Sourcetype compiled_artifact_native = {function_names : string list;
} Sourcetype callable_kernel_native = {name : string;
} Sourceval foreign_malloc : Unsigned.size_t -> unit Ctypes_static.ptr Sourceval foreign_memcpy :
unit Ctypes_static.ptr ->
unit Ctypes_static.ptr ->
Unsigned.size_t ->
unit Ctypes_static.ptr