Searched refs:BUILT_IN_SYMBOL (Results 1 – 1 of 1) sorted by relevance
1579 static const char* BUILT_IN_SYMBOL = "built-in symbol"; variable1596 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol()1600 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol()1624 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol()1656 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol()1682 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol()1686 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol()1691 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol()1777 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol()1793 complainAboutArgShortageOrWrongSorts(BUILT_IN_SYMBOL,exp); in parseAsBuiltinFormulaSymbol()[all …]