fn range_is_subset<T>(a_start: T, a_end: T, b_start: T, b_end: T) -> boolwhere T: Ord,
Returns true if the range [a_start, a_end] is a subset of [b_start, b_end].
All bounds are inclusive.