From 96daa7518ab9a6fad75bc04aa1f68836511ac8d0 Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Thu, 10 Oct 2019 13:43:59 -0400
Subject: [PATCH] add in-range

---
 racket/typed/sequence.rkt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/racket/typed/sequence.rkt b/racket/typed/sequence.rkt
index ea8eef4..d25c232 100644
--- a/racket/typed/sequence.rkt
+++ b/racket/typed/sequence.rkt
@@ -17,6 +17,7 @@
          sequence-add-between
          in-list
          in-set
+         in-range
          )
 
 (require "core-types.rkt")
@@ -48,7 +49,8 @@
   [sequence-add-between : (∀ (X) (→fn (Sequence X) X (Sequence X)))])
 
 (require/typed racket/base
-  [in-list : (∀ (X) (→fn (List X) (Sequence X)))])
+  [in-list : (∀ (X) (→fn (List X) (Sequence X)))]
+  [in-range : (→fn Int (Sequence Int))])
 (require/typed racket/set
   [in-set : (∀ (X) (→fn (Set X) (Sequence X)))])