def msn

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/natfuel.bend:427

import bend-collections-laws-math@1.0.0.0/proofs/math/typed/natfuel.bend as Natfuel

import Base

427def msn(bit: Bool, +na: Nat, +nb: Nat) -> Nat:
428  match bit:
429    case True{}:
430      Nat.mul(na, nb)
431    case False{}:
432      na

Uses (3)

Used by (10)