pub fn add_used_spec_fun(&mut self, module_id: ModuleId, spec_fun_id: SpecFunId) {
        let qid = module_id.qualified(spec_fun_id);
        self.env.used_spec_funs.insert(qid);
        self.propagate_move_fun_usage(qid);
    }
/// Adds a spec function to used_spec_funs set.
Adds a spec function to used_spec_funs set.
Adds a spec function to used_spec_funs set .
pub fn add_used_spec_fun(&mut self, module_id: ModuleId, spec_fun_id: SpecFunId) {
        let qid = module_id.qualified(spec_fun_id);
        self.env.used_spec_funs.insert(qid);
        self.propagate_move_fun_usage(qid);
    }
pub fn add_used_spec_fun ( & mut self , module_id : ModuleId , spec_fun_id : SpecFunId ) { let qid = module_id . qualified ( spec_fun_id ) ; self . env . used_spec_funs . insert ( qid ) ; self . propagate_move_fun_usage ( qid ) ; }
Adds a spec function to used_spec_funs set.
Adds a spec function to used_spec_funs set .
&mut self
module_id
ModuleId
spec_fun_id
SpecFunId
&mut self
module_id
ModuleId
spec_fun_id
SpecFunId