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