def Std.Time.«termDatespec(_)» : Lean.ParserDescr

Syntax for defining a date spec at compile time.

Equations

• One or more equations did not get rendered due to their size.