def gf8tab.inv.pick

bend-osdev-gf@0.1.1.0 · tables.bend:108

import Base

108def gf8tab.inv.pick(z: Bool, t: Gf8Tab, +x: U32) -> Gf8Tab & U32:
109  match z:
110    case True{}:
111      (t, 0)
112    case False{}:
113      match t:
114        case Gf8Tab{e, l}:
115          gf8tab.inv.fin(e, Array.get(U32, l, x))