Skip to main content

write_effect_ty

oxilean_std::static_analysis::functions

Function write_effect_ty 

Source 
pub fn write_effect_ty() -> Expr
Expand description

WriteEffect : Var → Effect — Writing to variable.