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