![]() |
|
Navigation |
Synopsis Create a new time (with optional timezone offset).
Function
Usage
import DateTime;
Examples
rascal>import DateTime; ok rascal>createTime(8,15,30,55); datetime: $T08:15:30.055+01:00$ rascal>createTime(8,15,30,55,2,0); datetime: $T08:15:30.055+02:00$ ![]() |