option_from_dafny

Function option_from_dafny 

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