package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Names = Serlib.Ser_names
module Extraction_plugin : sig ... end
module WitII : sig ... end
val ser_wit_int_or_id : (WitII.t, WitII.t, WitII.t) Serlib__Ser_genarg.gen_ser
module WitL : sig ... end
val ser_wit_language : (WitL.raw, WitL.glb, WitL.top) Serlib__Ser_genarg.gen_ser
module WitMN : sig ... end
val ser_wit_mlname : (WitMN.t, WitMN.t, WitMN.t) Serlib__Ser_genarg.gen_ser
val register : unit -> unit