From addfa108a6d5d145b8457447c700ceda0771368b Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Wed, 1 May 2013 18:18:29 -0400
Subject: [PATCH] Style guideline compliance

original commit: 37d44ebb38bb1d8cf57b5c3a0e13e274a931773f
---
 collects/typed-racket/rep/type-rep.rkt | 64 +++++++++++++-------------
 1 file changed, 33 insertions(+), 31 deletions(-)

diff --git a/collects/typed-racket/rep/type-rep.rkt b/collects/typed-racket/rep/type-rep.rkt
index 8fff15a0..3621e38d 100644
--- a/collects/typed-racket/rep/type-rep.rkt
+++ b/collects/typed-racket/rep/type-rep.rkt
@@ -1,4 +1,8 @@
 #lang racket/base
+
+;; This module provides type representations and utility functions
+;; and pattern matchers on types
+
 (require "../utils/utils.rkt")
 
 (require (utils tc-utils)
@@ -8,6 +12,34 @@
          racket/lazy-require
          (for-syntax racket/base syntax/parse))
 
+(provide Mu-name:
+         Poly-names: Poly-fresh:
+         PolyDots-names:
+         Type-seq
+         Mu-unsafe: Poly-unsafe:
+         PolyDots-unsafe:
+         Mu? Poly? PolyDots?
+         Filter? Object?
+         Type/c Type/c?
+         Values/c SomeValues/c
+         Poly-n
+         PolyDots-n
+         free-vars*
+         type-compare type<?
+         remove-dups
+         sub-f sub-o sub-pe
+         (rename-out [Mu:* Mu:]
+                     [Poly:* Poly:]
+                     [PolyDots:* PolyDots:]
+                     [Mu* make-Mu]
+                     [Poly* make-Poly]
+                     [PolyDots* make-PolyDots]
+                     [Mu-body* Mu-body]
+                     [Poly-body* Poly-body]
+                     [PolyDots-body* PolyDots-body]))
+
+(provide/cond-contract [type-equal? (Rep? Rep? . -> . boolean?)])
+
 ;; Ugly hack - should use units
 (lazy-require
   ("../types/union.rkt" (Un))
@@ -769,35 +801,5 @@
                  (list nps bp)))])))
 
 ;(trace subst subst-all)
-
-
-(provide
- Mu-name:
- Poly-names: Poly-fresh:
- PolyDots-names:
- Type-seq
- Mu-unsafe: Poly-unsafe:
- PolyDots-unsafe:
- Mu? Poly? PolyDots?
- Filter? Object?
- Type/c Type/c?
- Values/c SomeValues/c
- Poly-n
- PolyDots-n
- free-vars*
- type-compare type<?
- remove-dups
- sub-f sub-o sub-pe
- (rename-out [Mu:* Mu:]
-             [Poly:* Poly:]
-             [PolyDots:* PolyDots:]
-             [Mu* make-Mu]
-             [Poly* make-Poly]
-             [PolyDots* make-PolyDots]
-             [Mu-body* Mu-body]
-             [Poly-body* Poly-body]
-             [PolyDots-body* PolyDots-body]))
-
-(provide/cond-contract [type-equal? (Rep? Rep? . -> . boolean?)])
-
 ;(trace unfold)
+