option_from_dafny

aws_db_esdk::dynamodb::conversions::encrypted_data_key_description

Function option_from_dafny 

Source 
pub fn option_from_dafny(
    dafny_value: Rc<Option<Rc<EncryptedDataKeyDescription>>>,
) -> Option<EncryptedDataKeyDescription>