def count.if

import lawful-fields@0.1.1.0/defs.bend as Defs

import Base

111def count.if(hit: Bool, +n: Nat) -> Nat:
112  match hit:
113    case True{}:
114      Nat.add(1n, n)
115    case False{}:
116      n

Uses (3)