Up – coq-core » Nativelibrary

Module `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