Function tract_pulse::internal::for_model

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