Load-Times contents
Data type definitions.
10{-lines:type}
11TIME_TY:
12apply-macro:#BASE-KIND
13singular:time
14plural:times
15
16instance-of:WORD_VALUE_TY
17instance-of:ARITHMETIC_VALUE_TY
18instance-of:SAYABLE_VALUE_TY
19default-value:540
20comparison-routine:signed
21can-exchange:yes
22
23loop-domain-schema:for (*1=0: *1<TWENTY_FOUR_HOURS: *1++)
24has-i6-GPR:yes
25explicit-i6-GPR:TIME_TOKEN
26i6-printing-routine:PrintTimeOfDay
27i6-printing-routine-actions:PrintTimeOfDay
28constant-compilation-method:literal
29
30description:a time
31documentation-reference:kind_time
32index-default-value:9:00 AM
33index-minimum-value:1 minute
34index-maximum-value:23 hours 59 minutes
35index-priority:2
36specification-text:A time of day, written in the form '2:34 AM' or '12:51 PM', or a length of time such as '10 minutes' or '3 hours 31 minutes', which must be between 0 minutes and 23 hours 59 minutes inclusive.
37
38{-endlines}
39{-callv:Kinds::Interpreter::batch_done}