package coq-serapi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Ltac_plugin : sig ... end
module Ssrast = Ser_ssrast
module Ssreflect_plugin : sig ... end
val t_movearg_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t_movearg
val sexp_of_t_movearg : t_movearg -> Ppx_sexp_conv_lib.Sexp.t
val t_rwarg_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t_rwarg
val sexp_of_t_rwarg : t_rwarg -> Ppx_sexp_conv_lib.Sexp.t
val ser_wit_ssrrwargs : (t_rwarg, t_rwarg, t_rwarg) Serlib.Ser_genarg.gen_ser
val t_h1_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t_h1
val sexp_of_t_h1 : t_h1 -> Ppx_sexp_conv_lib.Sexp.t
val t_h2_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t_h2
val sexp_of_t_h2 : t_h2 -> Ppx_sexp_conv_lib.Sexp.t
val t_h3_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t_h3
val sexp_of_t_h3 : t_h3 -> Ppx_sexp_conv_lib.Sexp.t
val ser_wit_ssrhavefwdwbinders : (t_h1, t_h2, t_h3) Serlib.Ser_genarg.gen_ser
type ssrfwdview = Ssrast.ast_closure_term list
val ssrfwdview_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> ssrfwdview
val sexp_of_ssrfwdview : ssrfwdview -> Ppx_sexp_conv_lib.Sexp.t
type ssreqid = Ssrast.ssripat option
val ssreqid_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> ssreqid
val sexp_of_ssreqid : ssreqid -> Ppx_sexp_conv_lib.Sexp.t
val ssrarg_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> ssrarg
val sexp_of_ssrarg : ssrarg -> Ppx_sexp_conv_lib.Sexp.t
val h_h1_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> h_h1
val sexp_of_h_h1 : h_h1 -> Ppx_sexp_conv_lib.Sexp.t
val h_h2_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> h_h2
val sexp_of_h_h2 : h_h2 -> Ppx_sexp_conv_lib.Sexp.t
val h_h3_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> h_h3
val sexp_of_h_h3 : h_h3 -> Ppx_sexp_conv_lib.Sexp.t
val ser_wit_ssrhintarg : (h_h1, h_h2, h_h3) Serlib.Ser_genarg.gen_ser
module A1 : sig ... end
val ser_wit_ssrseqarg : (A1.h1, A1.h2, A1.h3) Serlib.Ser_genarg.gen_ser
module A2 : sig ... end
val ser_wit_ssrintrosarg : (A2.h1, A2.h2, A2.h3) Serlib.Ser_genarg.gen_ser
module A3 : sig ... end
val ser_wit_ssrsufffwd : (A3.h1, A3.h2, A3.h3) Serlib.Ser_genarg.gen_ser
module A4 : sig ... end
val ser_wit_ssrcongrarg : (A4.h1, A4.h1, A4.h1) Serlib.Ser_genarg.gen_ser
module A5 : sig ... end
val ser_wit_ssrdoarg : (A5.h1, A5.h2, A5.h3) Serlib.Ser_genarg.gen_ser
module A6 : sig ... end
val ser_wit_ssrsetfwd : (A6.h1, A6.h1, A6.h1) Serlib.Ser_genarg.gen_ser
module A7 : sig ... end
val ser_wit_ssrhint : (A7.h1, A7.h2, A7.h3) Serlib.Ser_genarg.gen_ser
module A8 : sig ... end
val ser_wit_ssrposefwd : (A8.h1, A8.h1, A8.h1) Serlib.Ser_genarg.gen_ser
module A9 : sig ... end
val ser_wit_ssrunlockarg : (A9.h1, A9.h1, A9.h1) Serlib.Ser_genarg.gen_ser
module A10 : sig ... end
val ser_wit_ssrwlogfwd : (A10.h1, A10.h1, A10.h1) Serlib.Ser_genarg.gen_ser
module A11 : sig ... end
val ser_wit_ssrfixfwd : (A11.h1, A11.h1, A11.h1) Serlib.Ser_genarg.gen_ser
module A12 : sig ... end
val register : unit -> unit
OCaml

Innovation. Community. Security.