diff --git a/src/common.rs b/src/common.rs index 551a259d0b3e91264c1573518e11908ee0ac9c91..0acde4a19962847266480d54c46e38731c042a40 100644 --- a/src/common.rs +++ b/src/common.rs @@ -112,6 +112,10 @@ impl U32Stream { self.next += 1; self.next - 1 } + pub(crate) fn n_skipped(mut self, n: u32) -> Self { + self.next = self.next.saturating_add(n); + self + } } impl From for PortId { fn from(id: Id) -> PortId {