def digit_head

bend-ml-llama@0.2.1.0 · main.bend:1575

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

import Base

1575def digit_head(xs: List<&2, U32>) -> Bool:
1576  match xs:
1577    case Nil{}:
1578      False{}
1579    case Con{+b, t}:
1580      Bool.and(U32.is_le(48, b), U32.is_le(b, 57))

Uses (5)

Used by (2)