let
shift offs m =
mapii (
fun
k v
->
Int_Interv
.shift offs k, v) m