Type checker to determine if a mapping function is an identity mapping function. More...
Type checker to determine if a mapping function is an identity mapping function.