inop.t</a> <span>&#45;&gt;</span> <a href="index.html#type-term">term</a> <span>&#45;&gt;</span> <a href="index.html#type-term">term</a> <span>&#45;&gt;</span> <a href="index.html#type-term">term</a></code></dt><dt class="spec value" id="val-mk_un"><a href="#val-mk_un" class="anchor"></a><code><span class="keyword">val</span> mk_un : <span>(Stdlib.Lexing.position * Stdlib.Lexing.position)</span> <span>&#45;&gt;</span> <a href="../../Lang/Term/Unop/index.html#type-t">Lang.Term.Unop.t</a> <span>&#45;&gt;</spa