coq-serapi.serlib
Serlib.Ser_cAst
coq-serapi.serapi_v8_14
coq-serapi.sertop_v8_12
serlib_extraction
serlib_firstorder
serlib_funind
serlib_ltac
serlib_ring
serlib_ssr
serlib_ssrmatching
type 'a t = private 'a CAst.t = {
v : 'a;
loc : Loc.t option;
}
val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
val of_yojson : (Yojson.Safe.t -> ('a, string) Result.result) -> Yojson.Safe.t -> ('a t, string) Result.result
val to_yojson : ('a -> Yojson.Safe.t) -> 'a t -> Yojson.Safe.t
val omit_att : bool ref