module Of_binable1: functor (Binable : S1) -> functor (M : sig type 'a t val to_binable : 'a t -> 'a Binable.t val of_binable : 'a Binable.t -> 'a tend) -> S1 with type 'a t := 'a M.t
functor (
Binable
:
S1
) ->
M
sig
type 'a t
'a
val to_binable : 'a t -> 'a Binable.t
'a t -> 'a Binable.t
val of_binable : 'a Binable.t -> 'a t
'a Binable.t -> 'a t
end
with type 'a t := 'a M.t
sig type 'a t val to_binable : 'a t -> 'a Binable.t val of_binable : 'a Binable.t -> 'a t end