</p><div class="fragment"><div class="line"><a class="code" href="group__group-_logical.html#gafd655d2222367131e7a63616e93dd080">if_</a>(cond, x, y) = <a class="code" href="group__group-_logical.html#gab64636f84de983575aac0208f5fa840c">eval_if</a>(cond, lazy(x), lazy(y))</div>
<div class="line"><a class="code" href="group__group-_logical.html#ga14066f5672867c123524e0e0978069eb">and_</a>(x, y) = <a class="code" href="group__group-_logical.html#gafd655d2222367131e7a63616e93dd080">if_</a>(x, y, x)</div>
<div c