Add id-lens contract

2015-07-08 01:27:10 -07:00 · 2015-07-08 01:27:10 -07:00 · 5c681189f0
commit 5c681189f0
parent ed16d1ab04
1 changed files with 2 additions and 1 deletions
--- a/lens/base/identity.rkt
+++ b/lens/base/identity.rkt
@ -6,7 +6,8 @@
  (require rackunit
           "view-set.rkt"))

-(provide identity-lens)
+(provide
+ (contract-out [identity-lens lens?]))


 (define (second-value _ v) v)