anchor.diff:      /// <returns></returns>
       [<CompiledName("BindOrRaise")>]
       let inline bindOrRaise (value : Choice<'T, #exn>) : 'T =
  +        // Preconditions
  +        checkNonNull "value" value
  +
           match value with
           | Choice1Of2 result ->
               result
  
positive.code:     /// <returns></returns>
      [<CompiledName("IsError")>]
      let inline isError (value : Choice<'T, 'Error>) : bool =
          match value with
          | Choice1Of2 _ -> false
          | Choice2Of2 _ -> true
  
negative.code:     /// <returns></returns>
      [<CompiledName("Get")>]
      let get (value : Choice<'T, 'Error>) =
          // Preconditions
          checkNonNull "value" value
  
          match value with
          | Choice1Of2 result ->
              result
  