ExecSpecMultisetCount

vstd::contrib::exec_spec

Trait ExecSpecMultisetCount 

Source 
pub trait ExecSpecMultisetCount: Sized + DeepView {
    type Elem;

    // Required method
    exec fn exec_count(self, value: Self::Elem) -> usize;
}
Expand description

Spec for executable version of Multiset::count.

Required Associated Types§

Source

type Elem

Required Methods§

Source

exec fn exec_count(self, value: Self::Elem) -> usize

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§