(*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