View source on GitHub
|
Type inference pass on functional control flow graph.
Until converged, we propagate type information (dtype and shape) from inputs toward outputs.
Functions
infer_types(...): Infers the variable types of a given program.
infer_types_from_signature(...): Infers the variable types of a given program.
is_inferring(...): Returns whether type inference is running.
signature(...): Computes a type signature for the given inputs.
type_of_pattern(...): Returns the instructions.Type of val.