def ns.nd

bend-osdev-word64@0.1.1.0 · proof_shift.bend:26

import Base

26def ns.nd(x: Nat) -> Type:
27  match x:
28    case 0n:
29      Empty
30    case 1n+ +p:
31      Unit