~/jendhub

def gf128.of_list.pick

bend-osdev-gf@0.1.1.0 · gf128.bend:61

import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128
import Base

61def gf128.of_list.pick(ok: Bool, +n: Nat, +xs: List<&2, U32>) -> Result<&2, &2, Gf128Error, Gf128>:
62  match ok:
63    case True{}:
64      Done{gf128.of_list.go(xs)}
65    case False{}:
66      Fail{Gf128BadLength{n}}

Uses (8)

Used by (1)