sig
  module Binable : Binable.S2
  type ('a, 'b) t
  val to_binable : ('a, 'b) Utils.Make_binable2_spec.t -> ('a, 'b) Binable.t
  val of_binable : ('a, 'b) Binable.t -> ('a, 'b) Utils.Make_binable2_spec.t
end