def pl.x

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

import Base

402def pl.x(ps: List<&2, GfPb>) -> List<&2, Bool>:
403  match ps:
404    case Nil{}:
405      Nil{}
406    case Con{h, rest}:
407      match h:
408        case GfPb{s, t}:
409          Con{Bool.xor(s, t), pl.x(rest)}