def hit

bend-collections-laws-math@1.0.0.0 · spec/math/random/rand.bend:77

import Base

77def hit(m: Maybe<&2, Nat>, +k: Nat) -> Nat:
78  match m:
79    case None{}:
80      0n
81    case Some{v}:
82      b2n(Nat.is_eq(v, k))