- sth#map
- (function [`Int pageid; `String page; `String title; `Int size] ->
- let download_time = overhead + size / modem_speed in (* seconds *)
- let download_time =
- if download_time <= 4 then "<= 4 s"
- else if download_time < 60 then sprintf "%d s" download_time
- else sprintf "%d m %d s" (download_time / 60) (download_time mod 60)
- in
+ List.map
+ (fun (pageid, page, title, size) ->
+ let page = Option.get page in
+ let size = Int64.to_int (Option.get size) in
+ let download_time = overhead + size / modem_speed in (* seconds *)
+ let download_time =
+ if download_time <= 4 then "<= 4 s"
+ else if download_time < 60 then sprintf "%d s" download_time
+ else
+ sprintf "%d m %d s" (download_time / 60) (download_time mod 60)
+ in