def run.if

bolt@1.27.0.0 · src/rules/correctness/escape.bend:47

import Base

47# keep the octal digit, and those after it
48def run.if(mm: Maybe<&2, Char>, rest: List<&2, Char>) -> List<&2, Char>:
49  match mm:
50    case None{}:
51      Nil{}
52    case Some{c}:
53      c <> rest