fn rewrite_module_spec(
        &mut self,
        _env: &GlobalEnv,
        _module_id: ModuleId,
        _spec: &Spec,
    ) -> Result<Option<Spec>> {
        Ok(None)
    }
/// Rewrite a module-level specification
Rewrite a module-level specification
Rewrite a module - level specification
fn rewrite_module_spec(
        &mut self,
        _env: &GlobalEnv,
        _module_id: ModuleId,
        _spec: &Spec,
    ) -> Result<Option<Spec>> {
        Ok(None)
    }
fn rewrite_module_spec ( & mut self , _env : & GlobalEnv , _module_id : ModuleId , _spec : & Spec , ) -> Result < Option < Spec > > { Ok ( None ) }
Rewrite a module-level specification
Rewrite a module - level specification
&mut self
_env
&GlobalEnv
_module_id
ModuleId
_spec
&Spec