Searched defs:release_memory_tube (Results 1 – 1 of 1) sorted by relevance
1096 release_memory_tube: Option<Tube>, field1305 let release_memory_tube = self.release_memory_tube.take(); in activate() localVariable