package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
module CAst = Ser_cAst
module Constrexpr = Ser_constrexpr
module Tactypes = Ser_tactypes
module Genintern = Ser_genintern
module EConstr = Ser_eConstr
module Tacexpr = Ser_tacexpr
module A1 : sig ... end
val ser_wit_with_names : (A1.h1, A1.h2, A1.h3) Ser_genarg.gen_ser
module A2 : sig ... end
val ser_wit_fun_scheme_arg : (Names.variable * Libnames.qualid * Sorts.family, unit, unit) Ser_genarg.gen_ser
module Loc = Ser_loc
module Vernacexpr = Ser_vernacexpr
type function_rec_definition_loc_argtype = (Vernacexpr.fixpoint_expr * Vernacexpr.decl_notation list) Loc.located
val function_rec_definition_loc_argtype_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> function_rec_definition_loc_argtype
val sexp_of_function_rec_definition_loc_argtype : function_rec_definition_loc_argtype -> Ppx_sexp_conv_lib.Sexp.t
val register : unit -> unit