def gf8tab.two.pick

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

import Base

83def gf8tab.two.pick(z: Bool, t: Gf8Tab, +x: U32, +y: U32, div: Bool) -> Gf8Tab & U32:
84  match z:
85    case True{}:
86      (t, 0)
87    case False{}:
88      match t:
89        case Gf8Tab{e, l}:
90          gf8tab.two.mid(e, Array.get(U32, l, x), y, div)