/// Rewrite a function-level specification
Rewrite a function-level specification
Rewrite a function - level specification
fn rewrite_function_spec(
        &mut self,
        _env: &GlobalEnv,
        _fun_id: QualifiedId<FunId>,
        _spec: &Spec,
    ) -> Result<Option<Spec>> {
        Ok(None)
    }
fn rewrite_function_spec ( & mut self , _env : & GlobalEnv , _fun_id : QualifiedId < FunId > , _spec : & Spec , ) -> Result < Option < Spec > > { Ok ( None ) }
Rewrite a function-level specification
Rewrite a function - level specification
&mut self
<not_specific>
_env
&GlobalEnv
<not_specific>
_fun_id
QualifiedId<FunId>
<not_specific>
_spec
&Spec
<not_specific>