From 61f7a99c1386175ed32ad5a59e6e0ff97cb7bc8b Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sat, 12 Dec 2020 00:46:50 +0100 Subject: [PATCH] utils.scrbl: Slightly streamline the imports. --- scribblings/utils.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl index e79274b..8580bec 100644 --- a/scribblings/utils.scrbl +++ b/scribblings/utils.scrbl @@ -1,9 +1,9 @@ #lang scribble/manual @(require scribble/example racket/sandbox - (for-label racket graph "../utils.rkt" + (for-label racket/base graph "../utils.rkt" (only-in typed/racket/base - Any AnyValues Listof String Sexp Number Pair - List + Any AnyValues Listof String Sexp Number Pair + List -> cast))) @title[#:tag "utils"]{dds/utils: Various Utilities}