Functor Tuple.Binable

module Binable: 
functor (B1 : Binable.S) ->
functor (B2 : Binable.S) -> Binable.S with type t := Make (B1) (B2).t
Parameters:
B1 : Binable.S
B2 : Binable.S