From the JML Ref Manual: The type-spec \TYPE (optionally, as a type of array element). See section 7.1.2.2 Type-Specs, for more details.
Log in to post a comment.