Type Alias TASpecOf 

pub type TASpecOf<M> = Vec<(String, InternalSpecOf<M>, Vec<<M as ModelChecker>::ThresholdAutomatonType>)>;

A specification paired with all threshold automata that need to be checked to verify it, and the name of the property it was derived from

Aliased Type

pub struct TASpecOf<M> { /* private fields */ }