def ratio

import mlbend-metrics@0.1.0.0/main.bend as MlbendMetrics

import Base

159def ratio(+a: Nat, +b: Nat) -> F32:
160  ratio_of(Nat.is_eq(b, 0n), a, b)

Uses (4)