span> bool)</span></span> <span>&#45;&gt;</span> <span>leq:<span>(<span>lhs:<span class="type-var">'v</span></span> <span>&#45;&gt;</span> <span>rhs:<span class="type-var">'v</span></span> <span>&#45;&gt;</span> bool)</span></span> <span>&#45;&gt;</span> <span>leq_above:<span>(<span>lhs:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <span>rhs:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> bool)</span></span> <span>&#45;&gt;</span> <span>lhs:<span><span>(<span class="type-var"