Type Definition tract_pulse::internal::TypedFrozenSimpleState

pub type TypedFrozenSimpleState<M, P> = FrozenSimpleState<TypedFact, Box<dyn TypedOp, Global>, M, P>;

An execution state for TypedModel, frozen (and Send).