Define function definition semantics