GENL-MTS" id="FN-DEF-WITH-GENL-MTS"></a>macro <tt><strong>WITH-GENL-MTS</strong> : (mt &amp;body body)</tt><br />MT and all its genl mts are relevant within BODY. <br /><br /><a name="FN-DEF-MAP-MTS" id="FN-DEF-MAP-MTS"></a>macro <tt><strong>MAP-MTS</strong> : ((var) &amp;body body)</tt><br />Iterate over all microtheories, binding VAR to an mt and executing BODY. <br /><br /><a name="FN-DEF-MAP-TERM" id="FN-DEF-MAP-TERM"></a>function <tt><strong>MAP-TERM</strong> : (function term)</tt><br />Apply F