The partial date/time classes in the data types
specification contain three errors, previously not found due to not
being compiled as part of the formal reference model. They are:
the type of the function "enclosing_interval" should be
DV_INTERVAL<T> not INTERVAL<T>, in order to be compatible with
other DV_ date/time types that would likely be part of
the attribute "magnitude" in DV_TIME has been defined as Integer,
which is incompatible with the inherited magnitude - it should
the post-conditions for DV_PARTIAL_DATE.magnitude and
DV_PARTIAL_TIME.magnitude are wrong.
In addition, the UML diagram contains the wrong type for
DV_TIME.magnitude, and DV_PARTIAL_TIME.magnitude is missing.