open OcamlExtractionTable

(* These commands have an effect iff OCAML_EXTRACTION is set *)

val print_open: #status as 'status -> NUri.uri list -> 'status
val print_ocaml_of_obj: #status as 'status -> NCic.obj -> 'status
val open_file: #status as 'status -> baseuri:string -> string -> 'status
val close_file: #status as 'status -> 'status