pub type TAErrorOf<M> = <<M as ModelChecker>::ThresholdAutomatonType as TATrait<ContextOf<M>, InternalSpecOf<M>>>::TransformationError;Expand description
Error that can occur while transforming a general threshold automaton into
the internal representation of the model checker M