Add result typ and expose getters for pp, equal and compare
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