Free practice · matching · easy
Practice
Match function terms
Match each function term to its role.
Function contract trace
A caller supplies values and receives one defined result
- ContractDefine inputs, output, and failures
- ArgumentsEvaluate supplied values
- ParametersBind local names
- BodyRun focused local logic
- ReturnSend the result to the caller
- TestCheck the public contract
Keep argument evaluation, parameter binding, local state, return behavior, and external side effects visible at the function boundary.