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 conditional expression that evaluates type compatibility at compile time C A boolean property on an interface indicating the object's type D A generic constraint using the 'is' keyword