Type Definition tract_hir::infer::TypeFactoid

type TypeFactoid = GenericFactoid<DatumType>;

Partial information about a type.

Trait Implementations

impl Output for TypeFactoid

fn into_wrapped(source: Self) -> Wrapped

Wraps the fact in the Wrapped type.

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

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.