package coq-serapi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Util = Serlib.Ser_util
module Loc = Serlib.Ser_loc
module CAst = Serlib.Ser_cAst
module Names = Serlib.Ser_names
module Tac2expr = Ser_tac2expr
module WL2in1 : sig ... end
val ser_wit_ltac2in1 : (WL2in1.raw, WL2in1.glb, WL2in1.top) Serlib__Ser_genarg.gen_ser
module WL2in1V : sig ... end
val ser_wit_ltac2in1_val : (WL2in1V.raw, WL2in1V.glb, WL2in1V.top) Serlib__Ser_genarg.gen_ser
module WLC2 : sig ... end
val ser_wit_ltac2_constr : (WLC2.raw, WLC2.glb, WLC2.top) Serlib__Ser_genarg.gen_ser
type var_quotation_kind = Ltac2_plugin.Tac2env.var_quotation_kind =
  1. | ConstrVar
  2. | PretermVar
  3. | PatternVar
val var_quotation_kind_to_yojson : var_quotation_kind -> Yojson.Safe.t
val var_quotation_kind_of_yojson : Yojson.Safe.t -> var_quotation_kind Ppx_deriving_yojson_runtime.error_or
val var_quotation_kind_of_sexp : Sexplib0.Sexp.t -> var_quotation_kind
val sexp_of_var_quotation_kind : var_quotation_kind -> Sexplib0.Sexp.t
val hash_fold_var_quotation_kind : Base.Hash.state -> var_quotation_kind -> Base.Hash.state
val hash_var_quotation_kind : var_quotation_kind -> Base.Hash.hash_value
val compare_var_quotation_kind : var_quotation_kind -> var_quotation_kind -> int
module WLQ2 : sig ... end
val ser_wit_ltac2_var_quotation : (WLQ2.raw, WLQ2.glb, WLQ2.top) Serlib__Ser_genarg.gen_ser
module WLV2 : sig ... end
val ser_wit_ltac2_val : (WLV2.raw, WLV2.glb, WLV2.top) Serlib__Ser_genarg.gen_ser
val register : unit -> unit
OCaml

Innovation. Community. Security.