Skip to content

Add result typ and expose getters for pp, equal and compare

Vivien Pelletier requested to merge vivien@check_add-result into master

Description / Motivation

Adds result typ. Exposes getters for pretty-printer, equal and compare functions associated to a typ. These functions will permit users to define their custom typ more easily.

How to Test the MR Manually

Checklist

  • Update CHANGES.md. No need to document changes to documentation and tests.
  • Make sure all new values, types etc. are documented in .mli files and that the generated documentation looks ok.
  • Add tests in test/, if relevant.
Edited by Arvid Jakobsson

Merge request reports