Searched refs:push_scope (Results 1 – 2 of 2) sorted by relevance
99 def push_scope(self, size): member in Stream
215 stream.push_scope(remaining)419 self.context.current_stream.push_scope(size)
Completed in 5 milliseconds