span class="keywordsign">|</span>&nbsp;<span class="constructor">Parsing</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Timings</span>.file
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">Preprocessing</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Timings</span>.file
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">Typing</span>&nbsp;<span class="keyword">of</span>&nbsp