Type checker to determine if a variable is an instantiation of proxy. More...
Type checker to determine if a variable is an instantiation of proxy.