\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-val type_check: ((Brg.term * Brg.obj) option -> 'a) ->
- Brg.hierarchy -> Brg.item -> 'a
+val type_check:
+ ((Brg.term * Brg.obj) option -> 'a) -> Brg.hierarchy -> Brg.item -> 'a