Ser_dAst (p.coq-serapi.8.14.0+0.14.0.doc.coq-serapi.serlib.Serlib.Ser

Sourcetype ('a, 'b) t = ('a, 'b) DAst.t

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

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