Type Definition tract_hir::infer::DimFact

type DimFact = GenericFactoid<TDim>;

Trait Implementations

impl Output for DimFact

fn into_wrapped(source: Self) -> Wrapped

Wraps the fact in the Wrapped type.

fn from_wrapped(wrapped: Wrapped) -> TractResult<DimFact>

Retrieves the fact from the Wrapped type. Panics if wrapped doesn't have the right constructor.

fn wrap(self) -> Wrapped

Wraps self in the Wrapped type.