From the JML Ref Manual: The functional form of a represents-clause (see section 8.4 Represents Clauses). That is, a represents clause that uses l-arrow-or-eq and (not \such_that).
Log in to post a comment.