Function range_lower_inc

fn range_lower_inc<'a>(a: Range<Datum<'a>>) -> bool