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