vstd::std_specs::hash

Trait ValuesAdditionalSpecFns

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

Required Methods§

Source

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

Implementations on Foreign Types§

Source§

impl<'a, Key: 'a, Value: 'a> ValuesAdditionalSpecFns<'a, Key, Value> for Values<'a, Key, Value>

Source§

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

Implementors§