Type Definition tract_hir::prelude::typed::TypedModel[−][src]

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

A model with completely determined types and shapes.