pub fn effect_row_ty() -> Expr
EffectRow : Type
An effect row: a (possibly empty) collection of effect labels and their operation signatures.