![]() |
|
Navigation |
Synopsis Decrement the milliseconds by a given amount or by 1.
Function
Usage
import DateTime;
Examples
rascal>import DateTime; ok rascal>N = now(); datetime: $2014-02-14T09:30:20.665+01:00$ rascal>decrementMilliseconds(N); datetime: $2014-02-14T09:30:20.664+01:00$ rascal>decrementMilliseconds(N, 5); datetime: $2014-02-14T09:30:20.660+01:00$ ![]() |