def digit_head

bend-ml-llama@0.2.0.0 · main.bend:1308

import bend-ml-llama@0.2.0.0/main.bend as BendMlLlama

import Base

1308def digit_head(xs: List<&2, U32>) -> Bool:
1309  match xs:
1310    case Nil{}:
1311      False{}
1312    case Con{+b, t}:
1313      Bool.and(U32.is_le(48, b), U32.is_le(b, 57))

Uses (5)

Used by (2)