<hr /><a name="details" id="details"></a><h2>Detailed Description</h2>
<div class="textblock"><p>This file defines time, time ticks and time delta types. </p>
</div></div><!-- contents -->
<hr /><a name="details" id="details"></a><h2>Detailed Description</h2>
<div class="textblock"><p>This file defines time, time ticks and time delta types. </p>
</div></div><!-- contents -->