    class
    	TIME_VALIDITY_CHECKER

    General
    	cluster: time
    	description: "Facility routines to check the validity of TIMEs"

    Ancestors
    	ANY
    	TIME_CONSTANTS
    	TIME_VALUE

    Queries
    	compact_time_valid (c_t: INTEGER_32): BOOLEAN
    	is_correct_time (h, m: INTEGER_32; s: REAL_64; twelve_hour_scale: BOOLEAN): BOOLEAN
    	time_valid (s, code_string: STRING_8): BOOLEAN