links

The Links Programming Language
IN THIS PACKAGE
val timestamp : Lexing.position -> [> `Infinity | `MinusInfinity | `Timestamp of Utility.CalendarShow.t * int option ] MenhirInterpreter.checkpoint