100.md

Design by Contract for 100

This decorator marks the precondition.

{% include answer.html answer="@requires" %}