Module Serapi

module Serapi_assumptions : 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