let
implicit_in_key loc =
SigKey
(
Signature
.in_impl_key loc)