contract

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