Function const_right_tuple 

pub fn const_right_tuple(
    ty_left: impl Into<TypeRowRV>,
    values: impl IntoIterator<Item = Value>,
) -> Value

A constant Either value with a row of right values.

In fallible computations, this represents a successful result.

See either_type.