Type Definition TypedModel
tract_hir::prelude
type TypedModel = Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>;
A model with completely determined types and shapes.