From dc8a098234b65af91af88cd0fc77efe797903568 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Thu, 21 Apr 2022 14:02:35 +0200 Subject: [PATCH] =?UTF-8?q?Correctly=20export=20tbf-w=20and=20tbf-=CE=B8.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- functions.rkt | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/functions.rkt b/functions.rkt index c49f322..76e792c 100644 --- a/functions.rkt +++ b/functions.rkt @@ -454,7 +454,7 @@ enumerate-boolean-functions/pv enumerate-boolean-functions/list random-boolean-table random-boolean-function random-boolean-function/list - (struct-out tbf) vector-boolean->01) + (struct-out tbf) tbf-w tbf-θ vector-boolean->01) (require (rename-in (submod 'typed untyped) [tabulate tabulate/untyped] @@ -463,8 +463,6 @@ (provide ;; Functions (contract-out - [tbf-w (-> tbf? (vectorof number?))] - [tbf-θ (-> tbf? number?)] [apply-tbf (-> tbf? (vectorof (or/c 0 1)) (or/c 0 1))] [apply-tbf/boolean (-> tbf? (vectorof boolean?) boolean?)] [list->tbf (-> (cons/c number? (cons/c number? (listof number?))) tbf?)]