PPX deriving Tpf
This is a Ppx_deriving plugin, deriving Tpf data[n] generic representations.
If the type is called t, derived representation is called data. Otherwise, it is called data_TYPENAME.
For example:
type 'a t =
| K1 of int
| K2 of 'a
[@@deriving tpf]
type ('a, 'b) tree =
| Leaf of 'a
| Node of ('a, 'b) tree * 'b * ('a, 'b) tree
[@@deriving tpf]yields
val data : (int, 'a, 'a t) Tpf.data2
val data_tree : ('a, 'b, ('a, 'b) tree) Tpf.data2