an></span>
  <a href="../Symbol/Shape/Type/index.html#type-elt">Symbol.Shape.Type.elt</a></span></code></div><div class="spec-doc"><p><code>sub a b</code> returns the difference of the scalars <code>a</code> and <code>b</code>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mul"><a href="#val-mul" class="anchor"></a><code><span><span class="keyword">val</span> mul : 
  <span><a href="../Symbol/Shape/Type/index.html#type-elt">Symbol.Shape.Type.elt</a> <span class="arrow">&#45;