def split

bend-ml-llama@0.2.1.0 · main.bend:227

import Base

227def split(+half: Nat, +xs: List<&2, F32>) -> Head:
228  Head{List.take(&2, F32, xs, half), List.drop(&2, F32, xs, half)}