type Skip

bolt@1.27.0.0 · src/rules/suspicious/prefix.bend:90

import Base

90# where the scan of a take's first argument stands: inside it at a depth of
91# brackets it opened, just past the comma that ends it, or at the bracket
92# that closes the take before any such comma
93type Skip is Data:
94  SGo{depth: Nat}
95  SComma{}
96  SClose{}