pub fn const_fail(value: Value, ty_ok: impl Into<TypeRowRV>) -> Value
A constant Either value with a failure variant.
Alias for const_left.
const_left