Serapi (coq-serapi.Serapi)

module Ser_stream : sig ... end

module Serapi_assumptions : sig ... end

module Serapi_doc : sig ... end

module Serapi_goals : sig ... end

module Serapi_paths : sig ... end

module Serapi_pp : sig ... end

This module includes all of sertop custom Format-based printers for Coq datatypes.

module Serapi_protocol : sig ... end

The SerAPI Protocol