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
contract { | |
returns(true) implies (this@isComplete != null) | |
} |