ss="identifier">random_number_generator</span></a><span class="special">(</span><span class="identifier">base_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>

  <span class="comment">// <a class="link" href="random_number_generator.html#idp76312576-bb">public member functions</a></span>
  <span class="identifier">result_type</span> <a class="link" href="random_number_generator.html#idp76312784-bb"><span class="keyword">operator</span><span class="sp