typeCheckerName
P79863
predicate
Indicates the name or identifier assigned to a specific type checker used to validate or analyze types.