Lib/Source/Functions.cpp
/**
 * Ensure a common exit method for function snippets.
 *
 * The return value should actually be an IntExpr instance, which is derived downstream
 * from the `dummy` variable as defined here.
 *
 * This is more of a semantics thing; it's a tiny bit of code, but the name implies
 * what the intention is.
 */
Ensure a common exit method for function snippets.
The return value should actually be an IntExpr instance, which is derived downstream
from the `dummy` variable as defined here.

This is more of a semantics thing; it's a tiny bit of code, but the name implies
what the intention is.
Ensure a common exit method for function snippets . The return value should actually be an IntExpr instance which is derived downstream from the ` dummy ` variable as defined here . This is more of a semantics thing ; it ' s a tiny bit of code but the name implies what the intention is .
void Return(Int const &val) {
  Int dummy;
  dummy = val;
}
void Return ( Int const & val ) { Int dummy ; dummy = val ; }
Ensure a common exit method for function snippets.
Ensure a common exit method for function snippets .
// Prepare an expression which can be assigned // dummy is not used downstream, only the rhs matters