Function tract_hir::internal::for_model [−][src]
pub fn for_model(
model: &Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>
) -> Result<Invariants, Error>pub fn for_model(
model: &Graph<TypedFact, Box<dyn TypedOp + 'static, Global>>
) -> Result<Invariants, Error>