pub fn option_to_dafny( value: Option<EncryptedDataKeyDescription>, ) -> Rc<Option<Rc<EncryptedDataKeyDescription>>>