module JavaTimeZone: sig .. end
Utility functions for Java time zones.
Instance creation
val get_available_ids : unit -> JavaString.t list
Returns the list of all time zone identifiers.
val get_default : unit -> t
Returns the default time zone.
val set_default : t -> unit
set_default tz changes the default time zone to tz if not null.
Otherwise, the default time zone is reset to its original value
(at VM start).
Properties
Null value
val null : t
The null value.
val is_null : t -> bool
is_null obj returns true iff obj is equal to null.
val is_not_null : t -> bool
is_not_null obj returns false iff obj is equal to null.
Miscellaneous
val wrap : t -> t option
wrap obj wraps the reference
obj into an option type:
Some x if obj is not null;
None if obj is null.
val unwrap : t option -> t
unwrap obj unwraps the option
obj into a bare reference:
Some x is mapped to x;
None is mapped to null.