\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-exception LRefNotFound of string Lazy.t
-type context
+exception LRefNotFound of Brg.message
+
+val domain:
+ (Brg.term option -> 'a) -> Brg.context -> Brg.term -> 'a
+
+val are_convertible:
+ (bool -> 'a) -> ?si:bool -> Brg.context -> Brg.term -> Brg.term -> 'a