/// Returns the `Module` under construction.
Returns the `Module` under construction.
Returns the ` Module ` under construction .
pub fn module(self) -> dr::Module {
        let mut module = self.module;
        match &mut module.header {
            Some(header) => header.bound = self.next_id,
            None => module.header = Some(dr::ModuleHeader::new(self.next_id)),
        }
        module
    }
pub fn module ( self ) -> dr :: Module { let mut module = self . module ; match & mut module . header { Some ( header ) => header . bound = self . next_id , None => module . header = Some ( dr :: ModuleHeader :: new ( self . next_id ) ) , } module }
Returns the `Module` under construction.
Returns the ` Module ` under construction .
self