def skip.comma

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

import Base

102# a comma at the depth: the argument's end at depth zero, else inside it
103def skip.comma(dd: Nat) -> Skip:
104  match dd:
105    case 0n:
106      SComma{}
107    case 1n+p:
108      SGo{1n+p}