From 278ffa62dbaa9bd76f2ad1bad81d08cf6df67b00 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Thu, 20 May 2021 11:09:51 +0200 Subject: [PATCH] utils-untyped.rkt: Don't provide the contracts. --- utils-untyped.rkt | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/utils-untyped.rkt b/utils-untyped.rkt index 8d2b710..705fdd6 100644 --- a/utils-untyped.rkt +++ b/utils-untyped.rkt @@ -42,11 +42,7 @@ [boolean-power (-> number? (listof (listof boolean?)))] [boolean-power/stream (-> number? (stream/c (listof boolean?)))] [any->01 (-> any/c (or/c 0 1))] - [01->boolean (-> (or/c 0 1) boolean?)]) - ;; Contracts - (contract-out [variable-mapping? contract?] - [string-variable-mapping? contract?] - [general-pair/c (-> contract? contract? contract?)])) + [01->boolean (-> (or/c 0 1) boolean?)])) (module+ test (require rackunit))