pub type SpecErrorOf<M> = <<M as ModelChecker>::SpecType as SpecificationTrait<ContextOf<M>>>::TransformationError;Expand description
Error that can occur while transforming an ELTL specification into the
internal specification of the model checker M