ML Community Day is November 9! Join us for updates from TensorFlow, JAX, and more Learn more


Infers the variable types of a given program.

program instructions.Program whose types to infer.
sig A list of (patterns of) instructions.TensorType aligned with program.vars_in.
backend Backend implementation.

typed instructions.Program with types inferred.

ValueError If some types still remain incomplete after inference.