Type Definition tract_hir::internal::TypedModel

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

A model with completely determined types and shapes.