Module return_smt
boa::syntax::ast::node
The return statement ends function execution and specifies a value to be returned to the function caller.
return