Member predicate InferTypeExpr::describe

Gets a description of this function or type.

string describe()