def pl.r

bend-osdev-gf@0.1.1.0 · PROOF.bend:420

import Base

420def pl.r(ps: List<&2, GfPb>) -> List<&2, Bool>:
421  match ps:
422    case Nil{}:
423      Nil{}
424    case Con{h, rest}:
425      match h:
426        case GfPb{s, t}:
427          Con{t, pl.r(rest)}