to_dafny_plain

Function to_dafny_plain 

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