export Extract_env.mono_environment in the mli

for debug / external output via coqtop.byte + Drop


git-svn-id: svn://scm.gforge.inria.fr/svn/coq/trunk@10895 85f007b7-540e-0410-9357-904b9bb8a0f7

Author: letouzey

contrib/extraction/extract_env.mli

@@ -16,3 +16,8 @@ open Libnames
 val simple_extraction : reference -> unit
 val full_extraction : string option -> reference list -> unit
 val extraction_library : bool -> identifier -> unit
+
+(* For debug / external output via coqtop.byte + Drop : *)
+
+val mono_environment : 
+ global_reference list -> module_path list -> Miniml.ml_structure