www

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

expander.rkt (297B)

      1 #lang racket
      2 (require (submod "type-expander.hl.rkt" expander)
      3          (for-template (submod "type-expander.hl.rkt" main))
      4          syntax/parse)
      5 (provide prop:type-expander
      6          expand-type
      7          apply-type-expander
      8          type
      9          stx-type/c
     10          type-expand!
     11          colon)