Type Definition tract_pulse::internal::TypedModel

pub type TypedModel = Graph<TypedFact, Box<dyn TypedOp, Global>>;
Expand description

A model with completely determined types and shapes.