Как использовать pp_write_error из mirage-channel - PullRequest
0 голосов
/ 28 октября 2018

Я использую mirage-channel , и Channel.flush возвращает (unit, Channel.write_error) Result.result.Я не могу понять, как преобразовать этот Channel.write_error в строку, похоже, что есть pp_write_error, но я просто не понимаю, как его использовать.Спасибо

...