Module utctime 

ASN.1 UTCTime contents. ASN.1 UTCTime values and contents format.

Structs

UtcTime

Represents a parsed ASN.1 UTCTime value (X.680 clause 47). UTCTime consists of a calendar date (YYMMDD), time to a precision of minutes or seconds, and an optional local time differential from UTC.

Constants

ASCII_MINUS

ASCII code for ‘-’

ASCII_PLUS

ASCII code for ‘+’

ASCII_Z

ASCII code for ‘Z’

Functions

lemma_der_utc_time_canonical

lemma_utc_time_encode_wf

utc_offset_valid

utc_offset_wf

utc_time_bytes

utc_time_bytes_valid

utc_time_bytes_wf

utc_time_fields_valid

utc_time_fields_wf

utc_time_fmt

utc_time_lexical_wf

utc_time_to_bytes

utc_time_valid

utc_time_value

utctime_value