<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Conditions (baguette_sharp.Baguette_sharp.Conditions)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> â€“ <a href="../../index.html">baguette_sharp</a> &#x00BB; <a href="../index.html">Baguette_sharp</a> &#x00BB; Conditions</nav><header class="odoc-preamble"><h1>Module <code><span>Baguette_sharp.Conditions</span></code></h1><p>The Condition Module of the B# STD</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value" id="val-two_argument_func" class="anchored"><a href="#val-two_argument_func" class="anchor"></a><code><span><span class="keyword">val</span> two_argument_func : 
  <span><span><span class="type-var">'a</span> list</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span>( <span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <a href="../Parser/index.html#type-parameters">Parser.parameters</a> )</span> <span class="arrow">&#45;&gt;</span></span>
  <a href="../Parser/index.html#type-parameters">Parser.parameters</a></span></code></div><div class="spec-doc"><p>A general function to create two argument methods</p></div></div><div class="odoc-spec"><div class="spec value" id="val-equality" class="anchored"><a href="#val-equality" class="anchor"></a><code><span><span class="keyword">val</span> equality : <span><span><a href="../Parser/index.html#type-parameters">Parser.parameters</a> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="../Parser/index.html#type-parameters">Parser.parameters</a></span></code></div><div class="spec-doc"><p>Implements the equality function</p></div></div><div class="odoc-spec"><div class="spec value" id="val-inferior_large" class="anchored"><a href="#val-inferior_large" class="anchor"></a><code><span><span class="keyword">val</span> inferior_large : <span><span><a href="../Parser/index.html#type-parameters">Parser.parameters</a> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="../Parser/index.html#type-parameters">Parser.parameters</a></span></code></div><div class="spec-doc"><p>Implements the &lt;= function</p></div></div><div class="odoc-spec"><div class="spec value" id="val-inferior_strict" class="anchored"><a href="#val-inferior_strict" class="anchor"></a><code><span><span class="keyword">val</span> inferior_strict : <span><span><a href="../Parser/index.html#type-parameters">Parser.parameters</a> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="../Parser/index.html#type-parameters">Parser.parameters</a></span></code></div><div class="spec-doc"><p>Implements the &lt; function</p></div></div><div class="odoc-spec"><div class="spec value" id="val-superior_large" class="anchored"><a href="#val-superior_large" class="anchor"></a><code><span><span class="keyword">val</span> superior_large : <span><span><a href="../Parser/index.html#type-parameters">Parser.parameters</a> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="../Parser/index.html#type-parameters">Parser.parameters</a></span></code></div><div class="spec-doc"><p>Implements the &gt;= function</p></div></div><div class="odoc-spec"><div class="spec value" id="val-superior_strict" class="anchored"><a href="#val-superior_strict" class="anchor"></a><code><span><span class="keyword">val</span> superior_strict : <span><span><a href="../Parser/index.html#type-parameters">Parser.parameters</a> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="../Parser/index.html#type-parameters">Parser.parameters</a></span></code></div><div class="spec-doc"><p>Implements the &gt; function</p></div></div><div class="odoc-spec"><div class="spec value" id="val-binary_or" class="anchored"><a href="#val-binary_or" class="anchor"></a><code><span><span class="keyword">val</span> binary_or : <span><span><a href="../Parser/index.html#type-parameters">Parser.parameters</a> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="../Parser/index.html#type-parameters">Parser.parameters</a></span></code></div><div class="spec-doc"><p>Implements the || function</p></div></div><div class="odoc-spec"><div class="spec value" id="val-binary_and" class="anchored"><a href="#val-binary_and" class="anchor"></a><code><span><span class="keyword">val</span> binary_and : <span><span><a href="../Parser/index.html#type-parameters">Parser.parameters</a> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="../Parser/index.html#type-parameters">Parser.parameters</a></span></code></div><div class="spec-doc"><p>Implements the &amp;&amp; function</p></div></div><div class="odoc-spec"><div class="spec value" id="val-binary_xor" class="anchored"><a href="#val-binary_xor" class="anchor"></a><code><span><span class="keyword">val</span> binary_xor : <span><span><a href="../Parser/index.html#type-parameters">Parser.parameters</a> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="../Parser/index.html#type-parameters">Parser.parameters</a></span></code></div><div class="spec-doc"><p>Implements the XOR function</p></div></div><div class="odoc-spec"><div class="spec value" id="val-binary_not" class="anchored"><a href="#val-binary_not" class="anchor"></a><code><span><span class="keyword">val</span> binary_not : <span><span><a href="../Parser/index.html#type-parameters">Parser.parameters</a> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="../Parser/index.html#type-parameters">Parser.parameters</a></span></code></div><div class="spec-doc"><p>Implements the NOT function</p></div></div></div></body></html>