Type Definition tract_hir::infer::IntFactoid

type IntFactoid = GenericFactoid<i32>;

Trait Implementations

impl Output for IntFactoid

fn into_wrapped(source: Self) -> Wrapped

Wraps the fact in the Wrapped type.

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

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.