A strongly-typed delegate called at completion of certain lengthy calculations.
public delegate void UICompletionHandler(bool finished);
type UICompletionHandler = delegate of bool -> unit
This strongly-typed delegate is called at the end of certain lengthy calculations. It's
finished parameter will be
true if the calculation finished without interruption.