@doc-json

This alias builds documentation for public libraries as JSON files. These are produced by odoc’s option --as-json and can be consumed by external tools.