7.6 The DATE module
<day-of-week>
Type
Summary
The days of the week.
Equivalent
one-of(#"Sunday", #"Monday", #"Tuesday", #"Wednesday",
#"Thursday", #"Friday", #"Saturday")
Supertypes
None.
Init-keywords
- None.
Library
system
Module
date
Description
The days of the week. This is the type of the return value of the date-day-of-week function.