def skip.close

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

import Base

110# a closing bracket at the depth: the take's own at depth zero, else one
111# bracket the argument opened
112def skip.close(dd: Nat) -> Skip:
113  match dd:
114    case 0n:
115      SClose{}
116    case 1n+p:
117      SGo{p}