1 2 3 4 5 6 7 8 9
use crate::core::spec::Spec; /// # SpecProvider /// /// Trait to provide a specification on a type `T`. pub trait SpecProvider<T> { /// Provides the spec fn spec() -> Spec<T>; }