def positive

bendtorch-core@0.1.0.0 · src/shape/unique_proofs.bend:13

import Base

13def positive(value: Nat) -> Data:
14  match value:
15    case 0n:
16      Empty
17    case 1n+p:
18      Unit