我正在使用mirage-channel，Channel.flush返回$ export JAVA_HOME=/Library/Java/JavaVirtualMachines/jdk-12.jdk/Contents/Home
$ java -version
openjdk version "12-ea" 2019-03-19
[...]
。我不知道如何将Channel.write_error转换为字符串，似乎有一个(unit, Channel.write_error) Result.result，但我只是不知道如何使用它。
谢谢