Up
Module
BTL_RegisterRenaming.IM
module
IM
:
Stdlib.Map.Make
(
Stdlib.Int
)