Function range_contains_i64_rev

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