source: tests/.expect/forall.txt @ 6448f7d

Last change on this file since 6448f7d was 68b52b0, checked in by Michael Brooks <mlbrooks@…>, 2 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.