(* SCHEMA date_time_schema; *)
TYPE hour_in_day = INTEGER; WHERE WR1: {0 <= SELF < 24}; END_TYPE;
Generated by STEP Tools® EXPRESS to HTML Converter2012-03-27T17:13:58-04:00