/contract.kt
Created Sep 14, 2018
| contract { | |
| returns(true) implies (this@isComplete != null) | |
| } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment