Function to_dafny_plain

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