Parameter Map.K

type t = M.key
val toString : t -> string