def Deque.split.put
import bend-kit-collections@0.1.4.1/deque.bend as Dequeimport Base
55def Deque.split.put(
56 a, -A: Kind(a), h: A, lr: List<a, A> & List<a, A>
57) -> List<a, A> & List<a, A>:
58 (l, r) = lr
59 (h <> l, r)
import bend-kit-collections@0.1.4.1/deque.bend as Dequeimport Base
55def Deque.split.put(
56 a, -A: Kind(a), h: A, lr: List<a, A> & List<a, A>
57) -> List<a, A> & List<a, A>:
58 (l, r) = lr
59 (h <> l, r)