TypeOf

TypeOf[expr]

TypeOf[expr, Typed[x, ty]]

TypeOf[expr, {Typed[x1, ty1], Typed[x2, ty2], …}]

TypeOf[expr, decls]