Module tract_hir::infer::helpers

Functions

infer_forward_basic

Infers basic facts in the case of unary or binary operators.

infer_forward_concrete

Infers every possible fact when all the values are concrete.

infer_shape_broadcasting

Infers basic shape facts in the case of broadcasting operators.

most_specific_shape

Returns the most specific closed shape out of an iterator.