\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-
exception LRefNotFound of Bag.message
type ho_whd_result =
| Abst of Bag.term
val ho_whd:
- (Bag.context -> ho_whd_result -> 'a) -> Bag.context -> Bag.term -> 'a
+ (ho_whd_result -> 'a) -> Bag.context -> Bag.term -> 'a
val are_convertible:
(bool -> 'a) -> Bag.context -> Bag.term -> Bag.term -> 'a
+
+val nsi: bool ref