Skip to main content

effect_polymorphism_ty

oxilean_std::static_analysis::functions

Function effect_polymorphism_ty 

Source 
pub fn effect_polymorphism_ty() -> Expr
Expand description

EffectPolymorphism : ∀ e f, e : T!{f} → e : T!{f ∪ g} — Effect weakening.