www

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

adt-pre-declarations.rkt (2462B)

      1 #lang s-exp phc-adt/declarations
      2 (remembered! tagged-structure (untagged a b))
      3 (remembered! tagged-structure (st2 a b))
      4 (remembered! tagged-structure (t a b c))
      5 (remembered! tagged-structure (tabc a b c))
      6 (remembered! tagged-structure (tag1 values))
      7 (remembered! tagged-structure (a values))
      8 (remembered! tagged-structure (b values))
      9 (remembered! tagged-structure (c values))
     10 (remembered! tagged-structure (d values))
     11 (remembered! tagged-structure (e values))
     12 (remembered! tagged-structure (F values))
     13 (remembered! tagged-structure (tag0 values))
     14 (remembered! tagged-structure (tag2 values))
     15 (remembered! tagged-structure (tag3 values))
     16 (remembered! tagged-structure (tagged-s1))
     17 (remembered! tagged-structure (tagged-s2 f g))
     18 (remembered! tagged-structure (tagged-s3 f g))
     19 (remembered! tagged-structure (tagged-s4 f g))
     20 (remembered! tagged-structure (c1 values))
     21 (remembered! tagged-structure (c2 values))
     22 (remembered! tagged-structure (c3 values))
     23 (remembered! tagged-structure (txyz a b))
     24 (remembered! tagged-structure (cxyz values))
     25 (remembered! tagged-structure (txyz x y))
     26 (remembered! tagged-structure (untagged))
     27 (remembered! tagged-structure (empty-tg))
     28 (remembered! tagged-structure (empty-ct values))
     29 (remembered! tagged-structure (empty-ct-t2 values))
     30 (remembered! tagged-structure (empty-ct-t3 values))
     31 (remembered! tagged-structure (empty-ct-2 values))
     32 (remembered! tagged-structure (empty-ct-3 values))
     33 (remembered! tagged-structure (untagged test-fa test-fb))
     34 (remembered! tagged-structure (untagged test-fa test-fc))
     35 (remembered! tagged-structure (untagged test-fa test-fd))
     36 (remembered! tagged-structure (untagged a c))
     37 (remembered! tagged-structure (untagged a b c d))
     38 (remembered! tagged-structure (untagged a b c y))
     39 (remembered! tagged-structure (untagged a b c))
     40 (remembered! tagged-structure (untagged a))
     41 (remembered! tagged-structure (t0 tagged-fa tagged-fb tagged-fc))
     42 (remembered! tagged-structure (t0 tagged-fx tagged-fy tagged-fz))
     43 (remembered! tagged-structure (a a b))
     44 (remembered! tagged-structure (b a b))
     45 (remembered! tagged-structure (c a b))
     46 (remembered! tagged-structure (ma faa fab fav))
     47 (remembered! tagged-structure (mb fba fbv))
     48 (remembered! tagged-structure (t1 x y))
     49 (remembered! tagged-structure (foo x y z))
     50 (remembered! tagged-structure (x values))
     51 (remembered! tagged-structure (y values))
     52 (remembered! tagged-structure (z values))
     53 (remembered! tagged-structure (w values))
     54 (remembered! tagged-structure (tg x y))