ord">val</span> make : <span><a href="../argument-1-DL/index.html#type-t">DL.t</a> <a href="../../../argument-3-Q/index.html#type-arbitrary">Q.arbitrary</a></span></code></dt></dl></div></body></html>