anchor.diff:    /// for jobs.  The given action, specified as a job, is executed after the job
     /// has been run, whether it fails or completes successfully.
     val tryFinallyJobDelay: (unit -> #Job<'x>) ->      Job<unit> -> Job<'x>
  +
  +  /// Creates a job that runs the given job and results in either the ordinary
  +  /// result of the job or the exception raised by the job.
  +#if DOC
  +  ///
  +  /// Reference implementation:
  +  ///
  +  ///> let catch xJ =
  +  ///>   tryIn xJ
  +  ///>    <| lift Choice1Of2
  +  ///>    <| lift Choice2Of2
  +#endif
  +  val catch: Job<'x> -> Job<Choice<'x, exn>>
  +
  +  //# Finalization
   
     /// Implements the `use` construct for jobs.  The `Dispose` method of the
     /// given disposable object is called after running the job constructed with
  
positive.code:   /// case where a job is garbage collected.  For fault tolerance the `Proc`
    /// abstraction may be preferable.
  #endif
    val inline startWithFinalizer: finalizer: Job<unit> -> Job<unit> -> Job<unit>
  
    /// Creates a job that immediately starts running the given job as a separate
    /// concurrent job like `start`, but also attaches a finalizer to the started
    /// job.  `startWithFinalizerIgnore finalizerJ xJ` is equivalent to
    /// `Job.Ignore xJ |> startWithFinalizer finalizerJ`.
    val startWithFinalizerIgnore: finalizer: Job<unit> -> Job<_> -> Job<unit>
  
    //////////////////////////////////////////////////////////////////////////////
  
    /// Creates a job that calls the given function to build a job that will then
    /// be run.  `delay u2xJ` is equivalent to `result () >>= u2xJ`.
  
negative.code:   /// variable.  It is an error to write to a single `IVar` more than once.
    /// This assumption may be used to optimize the implementation and incorrect
    /// usage leads to undefined behavior.  See also: `*<=!`, `fill`.
    val    inline fillFailure: IVar<'x> -> exn -> Job<unit>
  
    /// Creates a job that tries to write the given exception to the given write
    /// once variable.  No operation takes place and no error is reported in case
  