def Deque.is_empty

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

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

import Base

154def Deque.is_empty(a, -A: Kind(a), d: Deque<a, A>) -> Bool:
155  match d:
156    case Deq{f, b}:
157      Bool.and(List.is_empty(a, A, f), List.is_empty(a, A, b))

Uses (4)

Bool
Bool.and
List.is_empty
bend-kit-collections@0.1.4.1/deque:Deque

Used by (0)

No other definition uses this definition.