Module Ppx_irmin_lib.Attributes

Definitions of attributes required by ppx_irmin.