\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+exception TypeError of Brg.message
+
val type_of:
(Brg.term -> Brg.term -> 'a) -> ?si:bool ->
Hierarchy.graph -> BrgReduction.machine -> Brg.term -> 'a