We should discuss our docstring policy. Right now you document a lot including some methods I would not document (e.g. the specialisations for MPS). Too many docstrings are also bad as they easily get out of date and are then misleading. Also we should integrate with DocStringExtensions.
One key question to keep in mind when writing a docstring is: Does this tell any more than the bare code or the type signature already does. If the answer is no, it's IMHO better to not document.
We should discuss our docstring policy. Right now you document a lot including some methods I would not document (e.g. the specialisations for MPS). Too many docstrings are also bad as they easily get out of date and are then misleading. Also we should integrate with DocStringExtensions.
One key question to keep in mind when writing a docstring is: Does this tell any more than the bare code or the type signature already does. If the answer is no, it's IMHO better to not document.