DateTimeのミリ秒の設定 | CURL DEVELOPER CENTER

【ご質問】
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
}