IBase.ForkUtils
val protect : f:('a -> 'b) -> 'a -> 'b
does the bookkeeping necessary to safely execute an infer function f after a call to fork(2)
f