FAnalysisError

A utility value whose sole purpose is to report a semantic error if and when it is analyzed.