module Sexpable: sig .. end
module type S = sig .. end
module type S1 = sig .. end
module type S2 = sig .. end
module type S3 = sig .. end
module Of_sexpable: functor (Sexpable : S) -> functor (M : sig
type t
val to_sexpable : t -> t
val of_sexpable : t -> t
end) -> sig .. end
module Of_sexpable1: functor (Sexpable : S1) -> functor (M : sig
type 'a t
val to_sexpable : 'a t -> 'a t
val of_sexpable : 'a t -> 'a t
end) -> sig .. end
module Of_stringable:
module To_stringable: functor (M : S) -> sig .. end