-exception TypeError of string Lazy.t
-
-val type_of: (Brg.term -> 'a) ->
- Brg.hierarchy -> BrgReduction.context -> Brg.term -> 'a
+val type_of:
+ (Brg.term -> Brg.term -> 'a) -> ?si:bool ->
+ Hierarchy.graph -> BrgReduction.machine -> Brg.term -> 'a