~/jendhub

def Nat.double

Base · base.bend:669

import Base
669def Nat.double(n: Nat) -> Nat:
670  match n:
671    case 0n:
672      0n
673    case 1n+p:
674      2n+Nat.double(p)

Uses (1)

Used by (1040)