contract

Related languages: Vala, Cobra, Eiffel, Fortress, Kotlin, Clojure, Sather, Mercury, Ada