def nat.pos

bend-osdev-algo@0.1.0.0 · PROOF.bend:194

import Base

194def nat.pos(m: Nat) -> Bool:
195  match m:
196    case 0n:
197      False{}
198    case 1n+k:
199      True{}