\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-
-exception LRefNotFound of Bag.message
-
type ho_whd_result =
| Sort of int
- | GRef of NUri.uri * Bag.term list
| Abst of Bag.term
-type ac_result = (int * NUri.uri * Bag.term list) list option
-
-type extension = No | NSI
-
val ho_whd:
- (ho_whd_result -> 'a) -> Bag.context -> Bag.term -> 'a
+ (ho_whd_result -> 'a) -> Bag.lenv -> Bag.term -> 'a
val are_convertible:
- (ac_result -> 'a) -> Bag.context -> Bag.term -> Bag.term -> 'a
-
-val ext: extension ref
+ (bool -> 'a) -> ?si:bool -> Bag.lenv -> Bag.term -> Bag.term -> 'a