jwalgemoed/contract.kt

Created Sep 14, 2018

Star 0
Fork 0

Download ZIP

Raw

contract.kt

      
        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

You can’t perform that action at this time.