From 0e23bb48cbfcd336d90c79bb8cebb74a40496dcc Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 14 Nov 2015 20:49:30 -0500 Subject: [PATCH] Add missing file. --- typed-racket-lib/typed-racket/env/env-utils.rkt | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 typed-racket-lib/typed-racket/env/env-utils.rkt diff --git a/typed-racket-lib/typed-racket/env/env-utils.rkt b/typed-racket-lib/typed-racket/env/env-utils.rkt new file mode 100644 index 00000000..dd981e27 --- /dev/null +++ b/typed-racket-lib/typed-racket/env/env-utils.rkt @@ -0,0 +1,14 @@ +#lang racket/base + +(require racket/dict racket/sequence) +(provide id< sorted-dict-map in-sorted-dict) + +(define (id< a b) (symbol