def min_maybe_some

bend-prot@0.1.0.0 · topology.bend:119

import Base

119def min_maybe_some(x: F32, b: Maybe<&2, F32>) -> Maybe<&2, F32>:
120  match b:
121    case None{}:
122      Some{x}
123    case Some{y}:
124      Some{F32.min(x, y)}