def pl.l

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

import Base

411def pl.l(ps: List<&2, GfPb>) -> List<&2, Bool>:
412  match ps:
413    case Nil{}:
414      Nil{}
415    case Con{h, rest}:
416      match h:
417        case GfPb{s, t}:
418          Con{s, pl.l(rest)}