Function range_lower_inf

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