What is a type predicate in TypeScript?

A A function return type of the form 'param is Type' that tells TypeScript the parameter is a specific type when the function returns true B A boolean property on an interface indicating the object's type C A generic constraint using the 'is' keyword D A conditional expression that evaluates type compatibility at compile time