let
in_impl_key loc =
In
(
InImpl
loc)