def min_maybe

bend-prot@0.1.0.0 · topology.bend:126

import bend-prot@0.1.0.0/topology.bend as Topology

import Base

126def min_maybe(a: Maybe<&2, F32>, b: Maybe<&2, F32>) -> Maybe<&2, F32>:
127  match a:
128    case None{}:
129      b
130    case Some{x}:
131      min_maybe_some(x, b)

Uses (3)

Used by (3)