~/jendhub

def Deque.pop_back.go

bend-kit-collections@0.1.4.1 · deque.bend:111

import bend-kit-collections@0.1.4.1/deque.bend as Deque
import Base

111def Deque.pop_back.go(
112  a, -A: Kind(a), xs: List<a, A>, f: List<a, A>
113) -> Maybe<&1, A & Deque<a, A>>:
114  match xs:
115    case Nil{}:
116      None{}
117    case h <> t:
118      Some{(h, Deq{f, t})}

Uses (5)

Used by (1)