sig
  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
end