-val fold: ('a -> 'b -> NCic.term -> 'b) -> ('a -> 'a) -> 'b -> 'a -> NCic.term -> 'b
-val map: ('a -> NCic.term -> NCic.term) -> ('a -> 'a) -> 'a -> NCic.term -> NCic.term
+val fold:
+ (NCic.hypothesis -> 'k -> 'k) -> 'k ->
+ ('k -> 'a -> NCic.term -> 'a) -> 'a -> NCic.term -> 'a
+val map:
+ (NCic.hypothesis -> 'k -> 'k) -> 'k ->
+ ('k -> NCic.term -> NCic.term) -> NCic.term -> NCic.term