def piece.take.pick
gralha-coverage@0.1.0.1 · cover.bend:869
import gralha-coverage@0.1.0.1/cover.bend as Cover
import Base
869def piece.take.pick(hit: Bool, flat: Bool, a: Array<F32>, order: Array<U32>, +y0: F32, +y1: F32, +base: U32, +k: U32, +n: U32, active: List<&2, Piece>) -> (Array<F32> & Array<U32>) & PieceTake:
870 match hit:
871 case False{}: ((a, order), PieceTake{True{}, k, n, active})
872 case True{}:
873 match flat:
874 case True{}: ((a, order), PieceTake{False{}, (k + 1 : U32), n, active})
875 case False{}: piece.take.x0(Array.get(F32, a, base), order, y0, y1, base, k, n, active)