option_to_dafny

Function option_to_dafny 

Source
pub fn option_to_dafny(value: Option<Shared>) -> Rc<Option<Rc<Shared>>>