Module Time

module Timespec : sig ... end