coq-serapi.serlib
Serlib.Ser_cUnix
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 physical_path = string
val physical_path_to_yojson : physical_path -> Yojson.Safe.t
val physical_path_of_yojson : Yojson.Safe.t -> physical_path Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> physical_path Ppx_deriving_yojson_runtime.error_or
val physical_path_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> physical_path
val sexp_of_physical_path : physical_path -> Ppx_sexp_conv_lib.Sexp.t