let
separated_ranges rs rs' =
forall (
fun
r
->
forall (range_disjoint r) rs') rs