module V1 : Core_kernel__.Stable_module_types.S0 with type t = tInfo.t is wire-compatible with V2.t, but not V1.t. V1 bin-prots a sexp of
the underlying message, whereas V2 bin-prots the underlying message.
module V2 : Core_kernel__.Stable_module_types.S0 with type t = t