Function const_right

pub fn const_right(ty_left: impl Into<TypeRowRV>, value: Value) -> Value

A constant Either value with a right variant.

In fallible computations, this represents a successful result.

See either_type.