Type Definition tract_core::model::typed::TypedModelPatch[][src]

type TypedModelPatch = ModelPatch<TypedFact, Box<dyn TypedOp>>;

A ModelPatch for TypedModel.