docs: def resources_after_reservation(res, constraint):
      """Return the resources available after a specified
      ReserveResourceConstraint has been applied.
  
      Note: the caller is responsible for testing that the constraint is
      applicable to the core whose resources are being constrained.
  
      Note: this function does not pay attention to the specific position of the
      reserved regieon, only its magnitude.
      """
      res = res.copy()
      res[constraint.resource] -= (constraint.reservation.stop -
                                   constraint.reservation.start)
      return res