I wonder, is this more efficient than Microsoft's implementation? DateTime.Today.DayOfWeek; public DayOfWeek DayOfWeek { get { Contract.Ensures(Contract.Result<DayOfWeek>() >= DayOfWeek.Sunday);…
I wonder, is this more efficient than Microsoft's implementation? DateTime.Today.DayOfWeek; public DayOfWeek DayOfWeek { get { Contract.Ensures(Contract.Result<DayOfWeek>() >= DayOfWeek.Sunday);…