source: tests/.expect/forall.txt @ 68b52b0

Last change on this file since 68b52b0 was 68b52b0, checked in by Michael Brooks <mlbrooks@…>, 3 years ago

Implementing syntax forall( T * ) abbreviating forall( T & | sized(T) )

  • Property mode set to 100644
File size: 37 bytes
Line warning: Compiled
Note: See TracBrowser for help on using the repository browser.