links

The Links Programming Language
IN THIS PACKAGE
val now : unit -> t
val beginning_of_time : t
val forever : t