/ASTLanguage/ALVar/index.html#type-t">ASTLanguage.ALVar.t</a> list</span> * <a href="../ASTLanguage/CTLTypes/index.html#type-t">ASTLanguage.CTLTypes.t</a>)</span> <a href="../ASTLanguage__ALVar/index.html#module-FormulaIdMap">ASTLanguage.ALVar.FormulaIdMap</a>.t</span></code></dt><dd><p>map used to expand macro. It maps a formula id to a triple (visited, parameters, definition). Visited is used during the expansion phase to understand if the formula was already expanded and, if yes we have a cyclic definifi