Module `Sertop.Sertop_ser`Source

Sourcetype ser_printer =

Sourceval select_printer : ser_printer -> Format.formatter -> Sexplib.Sexp.t -> unit

Sourceval coq_object_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.coq_object

Sourceval sexp_of_coq_object : Serapi.Serapi_protocol.coq_object -> Sexplib.Sexp.t

val print_format_of_sexp : 
  Sexplib.Sexp.t ->
  Serapi.Serapi_protocol.print_format

val sexp_of_print_format : 
  Serapi.Serapi_protocol.print_format ->
  Sexplib.Sexp.t

Sourceval print_opt_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.print_opt

Sourceval sexp_of_print_opt : Serapi.Serapi_protocol.print_opt -> Sexplib.Sexp.t

Sourceval sexp_of_answer_kind : Serapi.Serapi_protocol.answer_kind -> Sexplib.Sexp.t

Sourceval answer_kind_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.answer_kind

Sourceval query_pred_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.query_pred

Sourceval sexp_of_query_pred : Serapi.Serapi_protocol.query_pred -> Sexplib.Sexp.t

Sourceval query_opt_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.query_opt

Sourceval sexp_of_query_opt : Serapi.Serapi_protocol.query_opt -> Sexplib.Sexp.t

Sourceval query_cmd_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.query_cmd

Sourceval sexp_of_query_cmd : Serapi.Serapi_protocol.query_cmd -> Sexplib.Sexp.t

Sourceval cmd_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.cmd

Sourceval sexp_of_cmd : Serapi.Serapi_protocol.cmd -> Sexplib.Sexp.t

Sourcetype nonrec tagged_cmd = Serapi.Serapi_protocol.tagged_cmd

Sourceval tagged_cmd_of_sexp : Sexplib.Sexp.t -> tagged_cmd

Sourceval sexp_of_tagged_cmd : tagged_cmd -> Sexplib.Sexp.t

Sourceval sexp_of_answer : Serapi.Serapi_protocol.answer -> Sexplib.Sexp.t

Sourceval answer_of_sexp : Sexplib.Sexp.t -> Serapi.Serapi_protocol.answer

Sourcetype sentence =

Sourceval sexp_of_sentence : sentence -> Sexplib.Sexp.t

Sourceval sentence_of_sexp : Sexplib.Sexp.t -> sentence

Install