></dt></dl><dl><dt class="spec value" id="val-pp_fterm"><a href="#val-pp_fterm" class="anchor"></a><code><span class="keyword">val</span> pp_fterm : <span><a href="index.html#type-term">term</a> Fmt.t</span></code></dt><dt class="spec value" id="val-make_rules"><a href="#val-make_rules" class="anchor"></a><code><span class="keyword">val</span> make_rules : <span><span>(<a href="index.html#type-id">id</a> * <span><a href="index.html#type-id">id</a> Base.List.t</span> * <a href="index.html#type-function_body"