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