Up – Package index » coq-serapi » Library coq-serapi.serlib » Serlib » Ser_names » Id » Set

Module `Id.Set`

type t = Names.Id.Set.t

val t_of_sexp : Sexplib.Sexp.t -> t

val sexp_of_t : t -> Sexplib.Sexp.t