Module Ser_libobject.ExportObjSource

Sourcetype t = Libobject.ExportObj.t = {
  1. mpl : (open_filter * Names.ModPath.t) list;
}
Sourceval t_of_sexp : Sexplib0.Sexp.t -> t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t