Function tract_hir::internal::for_model

pub fn for_model(
    model: &ModelImpl<TypedFact, Box<dyn TypedOp + 'static>>
) -> Result<Invariants, TractError>