Up

Module Of_sexpable2 (Sexpable : S2) (M : sig .. end) : S2 with type ('a, 'b) t := ('a, 'b) M.t

Parameters

M : sig .. end

Signature

type ('a, 'b) t
val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> (Sexplib.Sexp.t -> 'b) -> Sexplib.Sexp.t -> ('a, 'b) t
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> ('b -> Sexplib.Sexp.t) -> ('a, 'b) t -> Sexplib.Sexp.t