let implicit_in_key loc = SigKey (Signature.in_impl_key loc)