Ser_conv_oracle (p.coq-serapi.8.10.0+0.7.1.doc.coq-serapi.serlib.Serlib.Ser_conv

type level = Conv_oracle.level

val level_of_sexp : Sexplib.Sexp.t -> level

val sexp_of_level : level -> Sexplib.Sexp.t

val level_of_yojson : Yojson.Safe.t -> (level, string) Result.result

val level_to_yojson : level -> Yojson.Safe.t

type oracle = Conv_oracle.oracle

val oracle_of_sexp : Sexplib.Sexp.t -> oracle

val sexp_of_oracle : oracle -> Sexplib.Sexp.t