(&mut self, module_fq_self: &pl::Ident)
| 262 | } |
| 263 | |
| 264 | pub fn construct_wildcard_include(&mut self, module_fq_self: &pl::Ident) -> Vec<pl::Expr> { |
| 265 | let module_fq = module_fq_self.clone().pop().unwrap(); |
| 266 | |
| 267 | let decl = self.root_mod.module.get(&module_fq).unwrap(); |
| 268 | let module = decl.kind.as_module().unwrap(); |
| 269 | |
| 270 | let prefix = module_fq.iter().collect_vec(); |
| 271 | Self::construct_tuple_from_module(&mut self.id, &prefix, module) |
| 272 | } |
| 273 | |
| 274 | pub fn construct_tuple_from_module( |
| 275 | id: &mut IdGenerator<usize>, |
no test coverage detected