Parameter Make.1-Time

type t
val min : t
val now : unit -> t