Up – Package index » coq-serapi » Library coq-serapi.serlib » Serlib » Ser_range

Module `Serlib.Ser_range`Source

Sourcetype 'a t = 'a Range.t

Sourceval sexp_of_t : 'a -> 'b -> Sexplib.Sexp.t

Sourceval t_of_sexp : 'a -> Sexplib.Sexp.t -> 'b