Top
/
Documentation
/
Contracts
/
Answer-contract-4
Answer to Question contract-4
No. A contract should refer to parameters by their names, not by their types. Also, how is the reader supposed to know that phrase "the first two doubles" refers to a point in the plane?