JavaToLaurel: emit a procedure (not a function) for @Pure methods - #461

JavaToLaurel: emit a procedure (not a function) for @Pure methods#461

tautschnig wants to merge 1 commit into

strata-org:mainstrata-org/jverify:mainfrom

tautschnig:jverify-pure-as-proceduretautschnig/jverify:jverify-pure-as-procedureCopy head branch name to clipboard