Parameter InjectImperativeMaps.3-J

val decode : M.key -> I.t