aws_db_esdk::dynamodb::conversions::insert

Function to_dafny

Source 
pub fn to_dafny(value: &Insert) -> Rc<Insert>