Function to_dafny_plain

Source
pub fn to_dafny_plain(
    value: EncryptedDataKeyDescription,
) -> EncryptedDataKeyDescription