package ppx_type_directed_value

'a attribute allows supporting attributes such as

type t =
  { foo : int [@my_module attr]
  ; ...
  } [@@deriving my_module]

where in the above example attr would have type int My_module.attribute.

If you don't want to use this feature, you can define type 'a attribute = Nothing.t.