2013-08-27 17:35:16 +01:00
|
|
|
(** C-style strftime *)
|
|
|
|
|
|
2020-12-01 17:40:50 +00:00
|
|
|
(** Supports the following format specifiers:
|
|
|
|
|
%a %A %b %B %s %e %H %I %j %m %M %p %S %T %u %w %Y %% *)
|
|
|
|
|
|
|
|
|
|
(** Our version of Unix's tm, so Unix not required *)
|
|
|
|
|
type t =
|
|
|
|
|
{_tm_sec : int;
|
|
|
|
|
_tm_min : int;
|
|
|
|
|
_tm_hour : int;
|
|
|
|
|
_tm_mday : int;
|
|
|
|
|
_tm_mon : int;
|
|
|
|
|
_tm_year : int;
|
|
|
|
|
_tm_wday : int;
|
|
|
|
|
_tm_yday : int;
|
|
|
|
|
_tm_isdst : bool}
|
|
|
|
|
|
2021-06-10 16:09:59 +01:00
|
|
|
val current_time : unit -> t
|
|
|
|
|
|
2020-12-01 17:40:50 +00:00
|
|
|
(** If time omitted, the current time is used. *)
|
|
|
|
|
val strftime : ?time:t -> string -> string
|
