Type Definition tract_pulse::internal::TypedModel

type TypedModel = Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>;

A model with completely determined types and shapes.