Parameter InjectMinimalImperativeMaps.I

type t
val encode : t -> M.key