/// <exception cref="System.IOException">If the results cannot be exported</exception>
let exportResults (state : State) (filePath : string) =
/// <exception cref="System.IOException">If the results cannot be exported</exception>
let exportResults (state : State) (filePath : string) =