Map typespec question

thanks! Just to be clear, this syntax is slightly inconsistent with the Struct, which does (ofc) imply the presence of keys “not in” the typespec literal