システム関数 DateTimeLib.dateOf は、TIMESTAMP 型の変数から派生する DATE 値を戻します。
DateTimeLib.dateOf(aTimeStamp TIMESTAMP in) returns (result DATE)
関連する概念 EGL 関数の構文図
関連する参照項目 DATE EGL ライブラリー DateTimeLib