Skip to main content

effect_label_ty

oxilean_std::lambda_calculus::functions

Function effect_label_ty 

Source 
pub fn effect_label_ty() -> Expr
Expand description

EffectLabel: a label for a computational effect