Add type for processor-count
.
This commit is contained in:
parent
1c275ffcc7
commit
5fb4819703
|
@ -510,6 +510,8 @@
|
|||
|
||||
[future (-poly (A) ((-> A) . -> . (-future A)))]
|
||||
[touch (-poly (A) ((-future A) . -> . A))]
|
||||
[processor-count (-> -Nat)]
|
||||
|
||||
|
||||
[reverse (-poly (a) (-> (-lst a) (-lst a)))]
|
||||
[kernel:reverse (-poly (a) (-> (-lst a) (-lst a)))]
|
||||
|
|
Loading…
Reference in New Issue
Block a user