Topology.min_maybe_some: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/topology.bend as Topology
Lines 119-124 of bend-prot@0.1.0.0/topology.bend: https://jend.leeeet.dev/read.txt?path=bend-prot@0.1.0.0/topology.bend&start_line=119&end_line=124

import Base

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

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.min
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe