- NReference.reference * int * NCic.term list * NCic.term list
-
-val whd: lowtac_status -> ?delta:int -> NCic.context -> cic_term -> cic_term
-val typeof: lowtac_status -> NCic.context -> cic_term -> cic_term
+ lowtac_status *
+ (NReference.reference * int * NCic.term list * NCic.term list)
+
+val whd:
+ lowtac_status -> ?delta:int -> NCic.context -> cic_term ->
+ lowtac_status * cic_term
+val typeof:
+ lowtac_status -> NCic.context -> cic_term -> lowtac_status * cic_term