Function tract_nnef::internal::for_model

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