Nativelibrary
This file implements separate compilation for libraries in the native compiler
val dump_library : Names.ModPath.t -> Environ.env -> Declarations.module_signature -> Nativecode.global list * Nativevalues.symbols