def rev.min

bend-kit-regex@0.8.0.0 · regex.bend:2166

import bend-kit-regex@0.8.0.0/regex.bend as Regex
import Base

2166def rev.min(m: Maybe<&2, U32>, prev: Maybe<&2, U32>) -> Maybe<&2, U32>:
2167  match m:
2168    case None{}:
2169      prev
2170    case Some{+i}:
2171      match prev:
2172        case None{}:
2173          Some{i}
2174        case Some{+j}:
2175          Some{Bool.pick(U32, U32.is_lt(i, j), i, j)}

Uses (4)

Used by (1)