Save the date! Google I/O returns May 18-20 Register now


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.