Function plain_from_dafny

Source
pub fn plain_from_dafny(dafny_value: &GetSegment) -> GetSegment