package coq-serapi

  1. Overview
  2. Docs
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, Util.Empty.t, Util.Empty.t) Serlib__Ser_genarg.gen_ser
module WitL : sig ... end
val ser_wit_language : (WitL.t, Util.Empty.t, Util.Empty.t) Serlib__Ser_genarg.gen_ser
module WitMN : sig ... end
val ser_wit_mlname : (WitMN.t, Util.Empty.t, Util.Empty.t) Serlib__Ser_genarg.gen_ser
val register : unit -> unit
OCaml

Innovation. Community. Security.