Function from_dafny

Source
pub fn from_dafny(dafny_value: Rc<GetSegment>) -> GetSegment