module Defaults: functor (S : sig type a val format : Format.formatter -> a -> unitend) -> Show with type a = S.a
functor (
S
:
sig
type a
val format : Format.formatter -> a -> unit
Format.formatter -> a -> unit
end) -> Show with type a = S.a
end
) ->
Show
with type a = S.a
sig type a val format : Format.formatter -> a -> unit end
val format_list : Format.formatter -> a list -> unit
Format.formatter -> a list -> unit
val show : a -> string
a -> string
val show_list : a list -> string
a list -> string