Skip to main content

pure_function_ty

oxilean_std::static_analysis::functions

Function pure_function_ty 

Source 
pub fn pure_function_ty() -> Expr
Expand description

PureFunction : Expr → Prop — A function with empty effect set.