Type Definition tract_hir::internal::TypedSimpleState

pub type TypedSimpleState<M, P> = SimpleState<TypedFact, Box<dyn TypedOp + 'static, Global>, M, P>;

An execution state for TypedModel.