option_from_dafny

Function option_from_dafny 

Source
pub fn option_from_dafny(
    dafny_value: Rc<Option<Rc<GetSegment>>>,
) -> Option<GetSegment>