Parameter InjectImperativeMaps.I

type t
val encode : t -> M.key