Name Rascal/Libraries/Prelude/DateTime/interval

Synopsis A closed interval on the time axis.

Types

data interval = Interval(datetime begin, datetime end);

Usage import DateTime;

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]