Rate this Page
★ ★ ★ ★ ★

torch.fx.experimental.migrate_gradual_types.transform_to_z3.transform_to_z3#

torch.fx.experimental.migrate_gradual_types.transform_to_z3.transform_to_z3(constraint, counter, dimension_dict)[source]#
Return type:

tuple[Any, int]

On this page
Show Source
PyTorch Libraries