我正在使用mirage-channel并且 Channel.flush 返回一个(unit, Channel.write_error) Result.result. 我不知道如何将 Channel.write_error 转换为字符串，似乎有一个pp_write_error，但我只是不知道如何使用它。谢谢
问问题
33 次
我正在使用mirage-channel并且 Channel.flush 返回一个(unit, Channel.write_error) Result.result. 我不知道如何将 Channel.write_error 转换为字符串，似乎有一个pp_write_error，但我只是不知道如何使用它。谢谢