Module Nativelibrary

val dump_library : Names.ModPath.t -> Environ.env -> Declarations.module_signature -> Nativecode.global list * Nativevalues.symbols