def com_amazonaws_kms_UpdateCustomKeyStoreRequest()

in ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/aws_sdk_to_dafny.py [0:0]
170 lines of code
16 McCabe index (conditional complexity)

def com_amazonaws_kms_UpdateCustomKeyStoreRequest(native_input):
    return DafnyUpdateCustomKeyStoreRequest(
        CustomKeyStoreId=Seq(
            "".join(
                [
                    chr(int.from_bytes(pair, "big"))
                    for pair in zip(
                        *[iter(native_input["CustomKeyStoreId"].encode("utf-16-be"))]
                        * 2
                    )
                ]
            )
        ),
        NewCustomKeyStoreName=(
            Option_Some(
                Seq(
                    "".join(
                        [
                            chr(int.from_bytes(pair, "big"))
                            for pair in zip(
                                *[
                                    iter(
                                        native_input["NewCustomKeyStoreName"].encode(
                                            "utf-16-be"
                                        )
                                    )
                                ]
                                * 2
                            )
                        ]
                    )
                )
            )
            if "NewCustomKeyStoreName" in native_input.keys()
            else Option_None()
        ),
        KeyStorePassword=(
            Option_Some(
                Seq(
                    "".join(
                        [
                            chr(int.from_bytes(pair, "big"))
                            for pair in zip(
                                *[
                                    iter(
                                        native_input["KeyStorePassword"].encode(
                                            "utf-16-be"
                                        )
                                    )
                                ]
                                * 2
                            )
                        ]
                    )
                )
            )
            if "KeyStorePassword" in native_input.keys()
            else Option_None()
        ),
        CloudHsmClusterId=(
            Option_Some(
                Seq(
                    "".join(
                        [
                            chr(int.from_bytes(pair, "big"))
                            for pair in zip(
                                *[
                                    iter(
                                        native_input["CloudHsmClusterId"].encode(
                                            "utf-16-be"
                                        )
                                    )
                                ]
                                * 2
                            )
                        ]
                    )
                )
            )
            if "CloudHsmClusterId" in native_input.keys()
            else Option_None()
        ),
        XksProxyUriEndpoint=(
            Option_Some(
                Seq(
                    "".join(
                        [
                            chr(int.from_bytes(pair, "big"))
                            for pair in zip(
                                *[
                                    iter(
                                        native_input["XksProxyUriEndpoint"].encode(
                                            "utf-16-be"
                                        )
                                    )
                                ]
                                * 2
                            )
                        ]
                    )
                )
            )
            if "XksProxyUriEndpoint" in native_input.keys()
            else Option_None()
        ),
        XksProxyUriPath=(
            Option_Some(
                Seq(
                    "".join(
                        [
                            chr(int.from_bytes(pair, "big"))
                            for pair in zip(
                                *[
                                    iter(
                                        native_input["XksProxyUriPath"].encode(
                                            "utf-16-be"
                                        )
                                    )
                                ]
                                * 2
                            )
                        ]
                    )
                )
            )
            if "XksProxyUriPath" in native_input.keys()
            else Option_None()
        ),
        XksProxyVpcEndpointServiceName=(
            Option_Some(
                Seq(
                    "".join(
                        [
                            chr(int.from_bytes(pair, "big"))
                            for pair in zip(
                                *[
                                    iter(
                                        native_input[
                                            "XksProxyVpcEndpointServiceName"
                                        ].encode("utf-16-be")
                                    )
                                ]
                                * 2
                            )
                        ]
                    )
                )
            )
            if "XksProxyVpcEndpointServiceName" in native_input.keys()
            else Option_None()
        ),
        XksProxyAuthenticationCredential=(
            Option_Some(
                aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksProxyAuthenticationCredentialType(
                    native_input["XksProxyAuthenticationCredential"]
                )
            )
            if "XksProxyAuthenticationCredential" in native_input.keys()
            else Option_None()
        ),
        XksProxyConnectivity=(
            Option_Some(
                aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksProxyConnectivityType(
                    native_input["XksProxyConnectivity"]
                )
            )
            if "XksProxyConnectivity" in native_input.keys()
            else Option_None()
        ),
    )