Regex.rep.ok: def of bend-kit-regex@0.8.0.0
Import: import bend-kit-regex@0.8.0.0/regex.bend as Regex
Lines 470-476 of bend-kit-regex@0.8.0.0/regex.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-regex@0.8.0.0/regex.bend&start_line=470&end_line=476

import Base

# Counts go up to 1000, and a repetition cannot repeat, as in RE2.
def rep.ok(+min: U32, max: Maybe<&2, U32>) -> Bool:
  match max:
    case None{}:
      U32.is_le(min, 1000)
    case Some{+m}:
      U32.is_le(m, 1000) && U32.is_le(min, m)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le