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_to_yojson : t_movearg -> Yojson.Safe.t
val t_movearg_of_sexp : Sexplib0.Sexp.t -> t_movearg
val sexp_of_t_movearg : t_movearg -> Sexplib0.Sexp.t
val hash_fold_t_movearg : Base.Hash.state -> t_movearg -> Base.Hash.state
val hash_t_movearg : t_movearg -> Base.Hash.hash_value
val compare_t_movearg : t_movearg -> t_movearg -> int
val t_rwarg_of_sexp : Sexplib0.Sexp.t -> t_rwarg
val sexp_of_t_rwarg : t_rwarg -> Sexplib0.Sexp.t
val hash_fold_t_rwarg : Base.Hash.state -> t_rwarg -> Base.Hash.state
val hash_t_rwarg : t_rwarg -> Base.Hash.hash_value
val compare_t_rwarg : t_rwarg -> t_rwarg -> int
val ser_wit_ssrrwargs : (t_rwarg, t_rwarg, t_rwarg) Serlib.Ser_genarg.gen_ser
module A0 : sig ... end
val ser_wit_ssrhavefwdwbinders : (A0.raw, A0.glb, A0.top) Serlib__Ser_genarg.gen_ser
val ssrfwdview_to_yojson : ssrfwdview -> Yojson.Safe.t
val ssrfwdview_of_sexp : Sexplib0.Sexp.t -> ssrfwdview
val sexp_of_ssrfwdview : ssrfwdview -> Sexplib0.Sexp.t
val hash_fold_ssrfwdview : Base.Hash.state -> ssrfwdview -> Base.Hash.state
val hash_ssrfwdview : ssrfwdview -> Base.Hash.hash_value
val compare_ssrfwdview : ssrfwdview -> ssrfwdview -> int
type ssreqid = Ssreflect_plugin.Ssrast.ssripat option
val ssreqid_to_yojson : ssreqid -> Yojson.Safe.t
val ssreqid_of_sexp : Sexplib0.Sexp.t -> ssreqid
val sexp_of_ssreqid : ssreqid -> Sexplib0.Sexp.t
val hash_fold_ssreqid : Base.Hash.state -> ssreqid -> Base.Hash.state
val hash_ssreqid : ssreqid -> Base.Hash.hash_value
val compare_ssreqid : ssreqid -> ssreqid -> int
val ssrarg_to_yojson : ssrarg -> Yojson.Safe.t
val ssrarg_of_sexp : Sexplib0.Sexp.t -> ssrarg
val sexp_of_ssrarg : ssrarg -> Sexplib0.Sexp.t
val hash_fold_ssrarg : Base.Hash.state -> ssrarg -> Base.Hash.state
val hash_ssrarg : ssrarg -> Base.Hash.hash_value
val compare_ssrarg : ssrarg -> ssrarg -> int
module A1 : sig ... end
val ser_wit_ssrhintarg : (A1.raw, A1.glb, A1.top) Serlib__Ser_genarg.gen_ser
module A2 : sig ... end
val ser_wit_ssrseqarg : (A2.raw, A2.glb, A2.top) Serlib__Ser_genarg.gen_ser
module A3 : sig ... end
val ser_wit_ssrintrosarg : (A3.raw, A3.glb, A3.top) Serlib__Ser_genarg.gen_ser
module A4 : sig ... end
val ser_wit_ssrsufffwd : (A4.raw, A4.glb, A4.top) Serlib__Ser_genarg.gen_ser
module A5 : sig ... end
val ser_wit_ssrcongrarg : (A5.t, A5.t, A5.t) Serlib__Ser_genarg.gen_ser
module A6 : sig ... end
val ser_wit_ssrdoarg : (A6.raw, A6.glb, A6.top) Serlib__Ser_genarg.gen_ser
module A7 : sig ... end
val ser_wit_ssrsetfwd : (A7.t, A7.t, A7.t) Serlib__Ser_genarg.gen_ser
module A8 : sig ... end
val ser_wit_ssrhint : (A8.raw, A8.glb, A8.top) Serlib__Ser_genarg.gen_ser
module A9 : sig ... end
val ser_wit_ssrposefwd : (A9.t, A9.t, A9.t) Serlib__Ser_genarg.gen_ser
module A10 : sig ... end
val ser_wit_ssrunlockarg : (A10.t, A10.t, A10.t) Serlib__Ser_genarg.gen_ser
module A11 : sig ... end
val ser_wit_ssrwlogfwd : (A11.t, A11.t, A11.t) Serlib__Ser_genarg.gen_ser
module A12 : sig ... end
val ser_wit_ssrfixfwd : (A12.t, A12.t, A12.t) Serlib__Ser_genarg.gen_ser
module A13 : sig ... end
val ser_wit_ssrfwd : (A13.t, A13.t, A13.t) Serlib__Ser_genarg.gen_ser
module A14 : sig ... end
val ser_wit_ssrdgens : (A14.t, A14.t, A14.t) Serlib__Ser_genarg.gen_ser
val register : unit -> unit
OCaml

Innovation. Community. Security.