| Abst of Bag.term
val ho_whd:
- (ho_whd_result -> 'a) -> Status.status -> Bag.lenv -> Bag.term -> 'a
+ (ho_whd_result -> 'a) -> Layer.status -> Bag.lenv -> Bag.term -> 'a
val are_convertible:
- (bool -> 'a) -> Status.status -> Bag.lenv -> Bag.term -> Bag.term -> 'a
+ (bool -> 'a) -> Layer.status -> Bag.lenv -> Bag.term -> Bag.term -> 'a