pub type InternalSpecOf<M> = <<M as ModelChecker>::SpecType as SpecificationTrait<ContextOf<M>>>::InternalSpecType;Expand description
The internal specification type the model checker M works on
pub type InternalSpecOf<M> = <<M as ModelChecker>::SpecType as SpecificationTrait<ContextOf<M>>>::InternalSpecType;The internal specification type the model checker M works on