Lists.deal: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/shared/lists.bend as Lists
Lines 127-129 of bend-lint-api@0.2.0.0/shared/lists.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&start_line=127&end_line=129
import Base
# `xs` dealt into two halves, each in order: those at even positions, and those at odd ones.
def deal(a, -A: Kind(a), xs: List) -> List & List:
deal.go(a, A, xs, True{}, [], [])
Uses (4):
https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&name=deal.go