def scale

bend-kit-lemmas@0.1.1.0 · lemmas.bend:283

import Base

283# m when q is set, else 0.
284def scale(q: Bool, m: Nat) -> Nat:
285  match q:
286    case False{}:
287      0n
288    case True{}:
289      m