Function is_digits 

pub exec fn is_digits(bytes: &[u8], start: usize, end: usize) -> bool

requires

start <= end <= bytes.len(),

returns

digits(bytes@, start as int, end as int),