def bl

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

import Base
import bend-osdev-gf@0.1.1.0/gf.bend as G

525def bl(a: G.Gf8Bits) -> List<&2, Bool>:
526  match a:
527    case G.Gf8Bits{b0, b1, b2, b3, b4, b5, b6, b7}:
528      [b0, b1, b2, b3, b4, b5, b6, b7]