Function const_left_tuple

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

A constant Either value with a row of left values.

In fallible computations, this represents a failure.

See either_type.