www

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

adt-pre-declarations.rkt (1036B)

      1 #lang s-exp phc-adt/declarations
      2 (remembered! tagged-structure (tg a b))
      3 (remembered! tagged-structure (tg a c))
      4 (remembered! tagged-structure (t0))
      5 (remembered! tagged-structure (City citizens name streets))
      6 (remembered! tagged-structure (Street houses name))
      7 (remembered! tagged-structure (House owner))
      8 (remembered! tagged-structure (Person name))
      9 (remembered! tagged-structure (node-incompleteᵢ citizens name streets))
     10 (remembered! tagged-structure (node-incompleteᵢ houses name))
     11 (remembered! tagged-structure (node-incompleteᵢ owner))
     12 (remembered! tagged-structure (node-incompleteᵢ name))
     13 (remembered! tagged-structure (| City-incomplete| citizens name streets))
     14 (remembered! tagged-structure (| Street-incomplete| houses name))
     15 (remembered! tagged-structure (| House-incomplete| owner))
     16 (remembered! tagged-structure (| Person-incomplete| name))
     17 (remembered! tagged-structure (City name))
     18 (remembered! tagged-structure (t0 w))
     19 (remembered! tagged-structure (City streets))
     20 (remembered! tagged-structure (Street a name))