def cut

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

import bend-ml-llama@0.2.1.0/main.bend as BendMlLlama

import Base

834def cut(n: Nat, xs: List<&1, GW>, acc: List<&1, GW>) -> GS:
835  match n xs:
836    case 1n+m Con{x, xt}:
837      cut(m, xt, x <> acc)
838    case _ _:
839      GS{List.reverse(&1, GW, acc), xs}

Uses (5)

Used by (2)