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

functions: Fix the contract for tbf.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-07-07 22:45:19 +02:00
parent c4ba018b5b
commit 194bb1bb10
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
functions.rkt
View file

@ -12,7 +12,7 @@
(provide (provide
;; Structures ;; Structures
(contract-out (contract-out
[struct tbf ((weights number?) (threshold (vectorof number?)))]) [struct tbf ((weights (vectorof number?)) (threshold number?))])
;; Functions ;; Functions
(contract-out (contract-out
[tabulate (-> procedure-fixed-arity? (listof generic-set?) (listof list?))] [tabulate (-> procedure-fixed-arity? (listof generic-set?) (listof list?))]