13 #ifndef FIRANNOTATIONS_H
14 #define FIRANNOTATIONS_H
bool isRecognizedPrintfEncodedVerif(PrintFOp printOp)
Classifier for legacy verif intent captured in printf + when's.
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.