def is_zero

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/nat.bend:23

import Base

23def is_zero(n: Nat) -> Bool:
24  match n:
25    case 0n:
26      True{}
27    case 1n+p:
28      False{}