aws_db_esdk::dynamodb::conversions::get_substring

Function option_to_dafny

Source 
pub fn option_to_dafny(
    value: Option<GetSubstring>,
) -> Rc<Option<Rc<GetSubstring>>>