\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+IFDEF TYPE THEN
+
type ho_whd_result =
| Sort of int
| Abst of Bag.term
val are_convertible:
(bool -> 'a) -> Layer.status -> Bag.lenv -> Bag.term -> Bag.term -> 'a
+
+END