def contains_range

cli@0.2.0.0 · cli.bend:117

import cli@0.2.0.0/cli.bend as Cli

import Base

117def contains_range(ranges: List<&2, CodeRange>, +code: U32) -> Bool:
118  match ranges:
119    case Nil{}:
120      False{}
121    case CodeRange{lo, hi} <> tail:
122      Bool.or(Bool.and(U32.is_ge(code, lo), U32.is_le(code, hi)),
123        contains_range(tail, code))

Uses (8)

Used by (5)