aws_db_esdk::dynamodb::conversions::insert

Function to_dafny_plain

Source 
pub fn to_dafny_plain(value: Insert) -> Insert