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 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
OCaml

Innovation. Community. Security.