David Oleander (Apr 26 2026 at 03:27): David Oleander (Apr 26 2026 at 03:27):Why does the Result module operate on Result ok err : [ Ok ok, Err err ] rather that Result ok : [ Ok ok ]*?
Anton (Apr 27 2026 at 06:30):Hi @David Oleander,
I suppose it would be possible to make Result ok : [ Ok ok ]* work, I do think including err makes it more self-evident what is going on.
Last updated: Jun 16 2026 at 16:19 UTC