Instantly share code, notes, and snippets.

Embed
What would you like to do?
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