diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 1e273d7c..2a9355da 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -209,6 +209,8 @@ [char-downcase (-> -Char -Char)] [char-titlecase (-> -Char -Char)] [char-foldcase (-> -Char -Char)] +[char->integer (-> -Nat -Char)] +[integer->char (-> -Char -Nat)] [string-normalize-nfd (-> -String -String)] [string-normalize-nfkd (-> -String -String)]