public Inferred InferType(Type type)
 {
     return(module.InferType(type));
 }