Date #
A year-mont-day date. Used by Lake's TOML parser and its toolchain version parser (for nightlies).
Equations
- Lake.instInhabitedDate = { default := { year := default, month := default, day := default } }
Equations
Equations
- Lake.instReprDate = { reprPrec := Lake.reprDate✝ }
@[reducible, inline]
Instances For
@[reducible, inline]
Instances For
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lake.Date.instToString = { toString := Lake.Date.toString }