def count.or

yaml-for-bend@0.1.1.0 · scan.bend:1231

import yaml-for-bend@0.1.1.0/scan.bend as Scan

import Base

1231def count.or(go: Bool, more: Unit -> Nat) -> Nat:
1232  match go:
1233    case True{}:
1234      more(Unit{})
1235    case False{}:
1236      0n

Uses (3)

Used by (2)