DateTimeのミリ秒の設定

【ご質問】
DateTime型の変数に、特定の年月日時分秒ミリ秒を設定したいのですが、
DateTimeのコンストラクタにはミリ秒がないため設定できません。
DateTime のミリ秒はどのように設定すればよいのでしょうか。

【回答】
ミリ秒まで設定する場合は、以下のようにDateTimeを定義することで設定することができます。

<例>2008/11/17 12:15:54.123 を設定する

{let date-time:DateTime = {DateTime
                                      year = 2008,
                                      month = 11,
                                      day = 17,
                                      hour = 12,
                                      minute = 15,
                                      second = 54
                                 } + 123ms
}