Module Accel_extract_env

module Accel_extract_env: sig .. end

val extraction : Libnames.reference -> unit

val extraction_rec : Libnames.reference list -> unit

val extraction_file : string -> Libnames.reference list -> unit

val extraction_module : Libnames.reference -> unit

val extraction_library : bool -> Names.identifier -> unit