pan>(<span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type-var">'a2</span>)</span></span> <span>&#45;&gt;</span> <span><span>(<span class="type-var">'b2</span>, <span class="type-var">'v2</span>, <span class="type-var">'a2</span>)</span> <a href="../Types/index.html#type-below_above">Types.below_above</a></span></code></dt></dl></div></body></html>