
</head>
<body>
<div class="navbar"><a href="Term.html">Previous</a>
&nbsp;<a href="index.html">Up</a>
&nbsp;<a href="Subterm.html">Next</a>
</div>
<center><h1>Module <a href="type_Term_utils.html">Term_utils</a></h1></center>
<br>
<pre><span class="keyword">module</span> Term_utils: <code class="code"><span class="keyword">sig</span></code> <a href="Term_utils.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><span id="4_Commonfunctionsforbuildingterms"><h4>Common functions for b