make core_pool_size:cps reh returns a new thread pool with:cps as its core pool size (number of threads kept in the pool,
even if idle);reh policy for blocked computations.Java_exception if cps is negativeThreadPoolExecutor.await_termination.ThreadPoolExecutor.invoke_all_time.ThreadPoolExecutor.invoke_any_time.schedule p f x t u is similar to submit p f x, except that the
evaluation of f x with start after t (time value whose unit is
u).Java_exception if pool limits are reachedschedule_at_fixed_rate p f x t d u is similar to schedule p f x t u,
except that f x will be re-evaluated at t + d, t + 2 * d, etc.Java_exception if pool limits are reachedJava_exception if d is negativeschedule_with_fixed_delay p f x t d u is similar to schedule p f x t u,
except that f x will be repeatedly re-evaluated, respecting a delay
of d between the end of one execution and the beginning of the next
one.Java_exception if pool limits are reachedJava_exception if d is negativewrap obj wraps the reference obj into an option type:Some x if obj is not null;None if obj is null.unwrap obj unwraps the option obj into a bare reference:Some x is mapped to x;None is mapped to null.