Searched refs:binder_depth (Results 1 – 1 of 1) sorted by relevance
1508 binder_depth: usize, field1539 binder_depth: 0, in new()2086 if self.binder_depth == 0 { in name_all_regions()2202 self.binder_depth += 1; in name_all_regions()2215 inner.binder_depth -= 1; in pretty_in_binder()2231 inner.binder_depth -= 1; in pretty_wrap_binder()