www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

adt-pre-declarations.rkt (968B)

      1 #lang s-exp phc-adt/declarations
      2 (remembered! tagged-structure (foo a b c))
      3 (remembered! tagged-structure (tag b))
      4 (remembered! tagged-structure (foo b))
      5 (remembered! tagged-structure (foo a c))
      6 (remembered! tagged-structure (bar a b c))
      7 (remembered! tagged-structure (baz a b))
      8 (remembered! tagged-structure (qux b d))
      9 (remembered! tagged-structure (bar a c))
     10 (remembered! tagged-structure (baz a))
     11 (remembered! tagged-structure (qux d))
     12 (remembered! tagged-structure (bar b))
     13 (remembered! tagged-structure (baz b))
     14 (remembered! tagged-structure (qux b))
     15 (remembered! tagged-structure (foo d))
     16 (remembered! tagged-structure (foo a))
     17 (remembered! tagged-structure (foo a b))
     18 (remembered! tagged-structure (foo a))
     19 (remembered! tagged-structure (foo a b))
     20 (remembered! tagged-structure (foo b d))
     21 (remembered! tagged-structure (foo a b d))
     22 (remembered! tagged-structure (foo a b c d))
     23 (remembered! tagged-structure (foo a d))
     24 (remembered! tagged-structure (foo a c d))