scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Correctly export tbf-w and tbf-θ.

Browse source
This commit is contained in:
Sergiu Ivanov 2022-04-21 14:02:35 +02:00
parent f3a8c65e9d
commit dc8a098234
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
functions.rkt
View file

@ -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?)]