54717
|
1 |
(* Title: Pure/ML-Systems/thread_physical_processors.ML
|
|
2 |
Author: Makarius
|
|
3 |
|
|
4 |
Emulation of structure Thread in Poly/ML 5.5.2 (SVN 1890).
|
|
5 |
*)
|
|
6 |
|
|
7 |
structure Thread =
|
|
8 |
struct
|
|
9 |
open Thread;
|
|
10 |
|
|
11 |
fun numPhysicalProcessors () : int option = NONE;
|
|
12 |
end;
|