irmin icon indicating copy to clipboard operation
irmin copied to clipboard
verified publisher icon mirage

Generic pp for summaries

Open maiste opened this issue 4 years ago • 0 comments

Currently, the pretty-printer displays an ASCII version of the aggregated summaries. The idea is to provide a generic representation, Document.t and, then give a printer to a specific file format:

+--------------+       +--------------+      +-----------------+
|              |       |              |      |                 |
|  Summary.t   +------>|  Document.t  +----->|   PP_<type>     +-------> Output
|              |       |              |      |                 |
+--------------+       +--------------+      +-----------------+

maiste avatar Jan 18 '22 12:01 maiste