member StartDownload:
uri: string ->
dest: string ->
progressCb: (int64 -> int64 -> unit) ->
completeCb: (unit -> unit) ->
unit
Как добавить аннотацию к параметрам функции progressCb? Чтобы было например (bytesDownloaded: int64 -> totalBytes: int64 -> unit). На это компилятор ругается.
https://github.com/ForNeVeR/Tracktor/blob/363a7eeb469a933e92b8cd1d8ae4355f3a197c71/Tracktor.Contracts/ITracktorServiceCallback.fs#L7
Обсуждают сегодня