Module datetime 

Shared semantic date/time values and calendar operations. Shared logical date, time, precision, and time-zone representations.

Structs

DateTime

A standard date and time representation (year, month, day, hour, minute, second).

Enums

TimePrecision

Precision indicator for ASN.1 GeneralizedTime and UTCTime.

TimeZone

Time zone indicator (Local or UTC/Zulu).

Constants

ASCII_0

ASCII code for ‘0’

ASCII_9

ASCII code for ‘9’

Functions

ascii_digit

datetime_wf

days_in_month

decimal2

decimal4

decimal2_bytes

decimal4_bytes

decimal_2

decimal_4

digits

is_digits

is_leap_year

lemma_decimal2_canonical

lemma_decimal2_roundtrip

lemma_decimal4_canonical

lemma_decimal4_roundtrip

next_day

normalize_offset

previous_day

utc_year