-val whd: lowtac_status -> ?delta:int -> NCic.context -> cic_term -> cic_term
-val typeof: lowtac_status -> NCic.context -> cic_term -> cic_term
+val ppterm: lowtac_status -> cic_term -> string
+val whd:
+ lowtac_status -> ?delta:int -> NCic.context -> cic_term ->
+ lowtac_status * cic_term
+val normalize:
+ lowtac_status -> ?delta:int -> NCic.context -> cic_term ->
+ lowtac_status * cic_term
+val typeof:
+ lowtac_status -> NCic.context -> cic_term -> lowtac_status * cic_term