let
mk_undef_in_key loc =
InImpl
loc