An approximation of the type of the underlying value.
An approximation of the type of the underlying value. It is the best type information directly available. The precision of the type information depends on the number of post-processing steps that are done.