option_from_dafny

Function option_from_dafny 

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