">,</span> <span class="identifier">time_type</span> <span class="special">&gt;</span> <a class="link" href="checked_steppe_idp18950048.html#idp18958816-bb"><span class="identifier">do_step</span></a><span class="special">(</span><span class="identifier">System</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> StateType<span class="special">&gt;</span> 
    <span class="keyword">voi