\ / 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
val ho_whd: