(* $Id$ *)
-val r2s: #NCic.status -> bool -> NReference.reference -> string
+val r2s: #NCicEnvironment.status -> bool -> NReference.reference -> string
val string_of_flavour: NCic.def_flavour -> string
+class type cstatus =
+ object
+ inherit NCicEnvironment.status
+ inherit NCic.cstatus
+ end
+
(* low-level pretty printer;
all methods are meant to be overridden in ApplyTransformation *)
-class status: NCic.cstatus
+class status: string option -> cstatus
(* variants that use a formatter
module Format : sig