Function vstd::pcm_lib::combine_values

source · 
pub open spec fn combine_values<P: PCM>(values: Seq<P>) -> P
Expand description
{
    if values.len() == 0 {
        P::unit()
    } else {
        P::op(values[0], combine_values(values.skip(1)))
    }
}

Combines a list of values into one value using P::op().