val par: (unit -> 'a) * (unit -> 'b) -> 'a * 'bpar (f, g) runs f() and g() in parallel and returns
their results. The cost of par is O(1), but somewhat
substantial. Consider using granularity control to amortize this cost.
val parfor: int -> (int * int) -> (int -> unit) -> unitparfor grain (lo, hi) f executes f(i) in parallel for
lo <= i < hi. (Note lo is inclusive on the bottom, and hi is
exclusive on the top.) The grain argument is for granularity control: the
loop is split into approximately (hi-lo)/grain subranges, each of
size at most grain.
val alloc: int -> 'a arrayWarning: unsafe. Intended only for use in the implementation of high-performance libraries.
alloc n produces a fresh array of the length n. The resulting array
has undefined contents, and must not be read until every index has been
initialized (e.g. with Array.update).