~/jendhub

def Deque.half

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

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

44def Deque.half(n: Nat) -> Nat:
45  match n:
46    case 0n:
47      0n
48    case 1n+p:
49      match p:
50        case 0n:
51          0n
52        case 1n+q:
53          1n+Deque.half(q)

Uses (1)

Used by (2)