(*i $Id: common.mli 14641 2011-11-06 11:59:10Z herbelin $ i*)
open Coq
-open Miniml
-open Mlutil
+(**open Miniml
+open Mlutil*)
open OcamlExtractionTable
(** By default, in module Format, you can do horizontal placing of blocks
we attach a big virtual size to [fnl] newlines. *)
val fnl : unit -> std_ppcmds
-val fnl2 : unit -> std_ppcmds
val space_if : bool -> std_ppcmds
val pp_par : bool -> std_ppcmds -> std_ppcmds
val get_db_name : int -> env -> identifier
(* true = capitalize *)
-val modname_of_filename: #status as 'status-> bool -> string -> 'status * string
+val modname_of_filename: (#status as 'status)-> bool -> string -> 'status * string
type kind = Term | Type | Cons
val pp_global :
- #status as 'status -> kind -> NReference.reference -> 'status * string
+ (#status as 'status) -> kind -> NReference.reference -> 'status * string