to_dafny_plain

Function to_dafny_plain 

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