Function const_left

pub fn const_left(value: Value, ty_right: impl Into<TypeRowRV>) -> Value

A constant Either value with a left variant.

In fallible computations, this represents a failure.

See either_type.