Function range_contains_i64_rev 

fn range_contains_i64_rev<'a>(a: Range<Datum<'a>>, elem: i64) -> bool