hugr_core::extension::prelude

Function const_fail_tuple

Source 
pub fn const_fail_tuple(
    values: impl IntoIterator<Item = Value>,
    ty_ok: impl Into<TypeRowRV>,
) -> Value
Expand description

A constant Either with a row of failure values.

Alias for const_left_tuple.