Closed ThierryBleau closed 3 years ago
Extend infer function to accommodate TApp and TFun.
infer
TApp
TFun
Extend
infer
function to accommodateTApp
andTFun
.