def mval

bend-collections-laws-math@1.0.0.0 · spec/math/fixed.bend:41

import Base

41def mval(~T: Data, ~val: T -> Nat, r: Maybe<&2, T>) -> Maybe<&2, Nat>:
42  match r:
43    case Some{x}:
44      Some{val(x)}
45    case None{}:
46      None{}