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