def Duration.to_nat.of

bend-kit-time@0.3.0.0 · time.bend:53

import bend-kit-time@0.3.0.0/time.bend as Time

import Base

53def Duration.to_nat.of(m: Maybe<&2, Nat>, +per: Nat, +n: U32) -> Nat:
54  match m:
55    case None{}:
56      0n
57    case Some{s}:
58      (s * per + U32.to_nat(n) : Nat)

Uses (6)

Used by (2)