160;</td><td class="memItemRight" valign="bottom"><b>mask</b> (size_t n)</td></tr>
<tr class="memitem:ad37e2228ea8ebc5cb2b88b266d966e8b inherit pub_methods_classproofs_1_1_random_engine" id="r_ad37e2228ea8ebc5cb2b88b266d966e8b"><td class="memItemLeft" align="right" valign="top">
size_t&#160;</td><td class="memItemRight" valign="bottom"><b>nat</b> (size_t n)</td></tr>
<tr class="memitem:aa2000a3168b741f73a2c3832c2f5b107 inherit pub_methods_classproofs_1_1_random_engine" id="r_aa2000a3168b741f73a2c3832c2f5b10