Skip to main content

effect_subrow_ty

oxilean_std::functional_programming::functions

Function effect_subrow_ty 

Source 
pub fn effect_subrow_ty() -> Expr
Expand description

EffectSubrow : Type → Type → Prop

Subrow relation: E ⊆ E’, used for effect polymorphism.