Function option_to_dafny

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