let
map_offsets f m =
match
m
with
|
Top
_
->
raise
Error_Top
|
Map
m
->
Map
(
M
.map f m)