Trait vstd::std_specs::hash::KeysAdditionalSpecFns

pub trait KeysAdditionalSpecFns<'a, Key: 'a, Value: 'a> {
    // Required method
    spec fn view(&self) -> (int, Seq<Key>);
}

Required Methods§

spec fn view(&self) -> (int, Seq<Key>)

Implementations on Foreign Types§

impl<'a, Key: 'a, Value: 'a> KeysAdditionalSpecFns<'a, Key, Value> for Keys<'a, Key, Value>

uninterp fn view(self: &Keys<'a, Key, Value>) -> (int, Seq<Key>)

Implementors§