[go: up one dir, main page]

Corrected the documentation about IF_LEFT, IF_CONS, IF_NONE, ...

This fixes the documentation issue outlined in #471 (closed) by changing the IF_LEFT, IF_RIGHT, IF_CONS, IF_NONE and IF_SOME typing specification to be coherent with the implementation.

Merge request reports

Loading