Login or sign up Lost password?
Login or sign up
Specification clauses can contain arbitrarily nested implications, i.e., these clauses can be of arbitrary order when they are construed as types.