to_dafny

pub fn to_dafny(
    value: &LegacyDynamoDbEncryptorRef,
) -> Object<dyn ILegacyDynamoDbEncryptor>