Characteristic predicate TranslatedBuiltInOperation::TranslatedBuiltInOperation

TranslatedBuiltInOperation()