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))