matita/components/ng_extraction/ocamlExtraction.mli

   1 open OcamlExtractionTable
   2
   3 (* These commands have an effect iff OCAML_EXTRACTION is set *)
   4
   5 val print_open: #status as 'status -> NUri.uri list -> 'status
   6 val print_ocaml_of_obj: #status as 'status -> NCic.obj -> 'status
   7 val open_file: #status as 'status -> baseuri:string -> string -> 'status
   8 val close_file: #status as 'status -> 'status