Function range_empty

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