(* $Id$ *)
+val set_head_beta_reduce: (upto:int -> NCic.term -> NCic.term) -> unit
+
+val r2s: bool -> NReference.reference -> string
+
val ppterm:
context:NCic.context ->
subst:NCic.substitution ->
metasenv:NCic.metasenv ->
+ ?margin:int ->
?inside_fix:bool ->
NCic.term -> string