Up – coq » Nativelibrary

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 * Nativevalues.symbols