Type Definition tract_core::analyser::types::TypeFact

type TypeFact = GenericFact<DatumType>;

Partial information about a type.

Trait Implementations

impl Output for TypeFact

fn into_wrapped(source: Self) -> Wrapped

Wraps the fact in the Wrapped type.

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

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.