package coq-serapi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ser_printer =
  1. | SP_Sertop
  2. | SP_Mach
  3. | SP_Human
val select_printer : ser_printer -> Format.formatter -> Sexplib.Sexp.t -> unit
type nonrec tagged_cmd = Serapi.Serapi_protocol.tagged_cmd
val tagged_cmd_of_sexp : Sexplib.Sexp.t -> tagged_cmd
val sexp_of_tagged_cmd : tagged_cmd -> Sexplib.Sexp.t
type sentence =
  1. | Sentence of Tok.t CAst.t list
val sexp_of_sentence : sentence -> Sexplib.Sexp.t
val sentence_of_sexp : Sexplib.Sexp.t -> sentence