coq-serapi.serlib
Serlib.Ser_proof_global
coq-serapi.serapi_v8_10
coq-serapi.sertop_v8_10
serlib_extraction
serlib_firstorder
serlib_funind
serlib_ltac
serlib_setoid_ring
serlib_ssr
serlib_ssrmatching
type opacity_flag = Proof_global.opacity_flag =
| Opaque
| Transparent
val opacity_flag_to_yojson : opacity_flag -> Yojson.Safe.t
val opacity_flag_of_yojson : Yojson.Safe.t -> opacity_flag Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> opacity_flag Ppx_deriving_yojson_runtime.error_or
val opacity_flag_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> opacity_flag
val sexp_of_opacity_flag : opacity_flag -> Ppx_sexp_conv_lib.Sexp.t