type ('a, 'b, 'c) t
val to_binable : ('a, 'b, 'c) t ‑> ('a, 'b, 'c) Binable.t
val of_binable : ('a, 'b, 'c) Binable.t ‑> ('a, 'b, 'c) t