package coq-serapi

You can search for identifiers within the package.

in-package search v0.2.0

Serialization library and protocol for machine interaction with the Coq proof assistant

Install

sha256=66137df53e01398a26e9e51056af7439997bcf562fbe4503946fe89e0c5df443

sha512=5c71f7acd4537c33853122d9c526e61f35d2934504c77ce95196f8d595f1c619a680fccd46ba9deb69b509eeb936984056380b18b65fae617ae1cce704df90a1

Sourcemodule Util = Serlib.Ser_util

Sourcemodule Loc = Serlib.Ser_loc

Sourcemodule CAst = Serlib.Ser_cAst

Sourcemodule Names = Serlib.Ser_names

Sourcemodule Tac2expr = Ser_tac2expr

Sourcemodule WL2 : sig ... end

Sourceval ser_wit_ltac2 : (WL2.raw, WL2.glb, WL2.top) Serlib__Ser_genarg.gen_ser

Sourcemodule WLC2 : sig ... end

val ser_wit_ltac2_constr : 
  (WLC2.raw, WLC2.glb, WLC2.top) Serlib__Ser_genarg.gen_ser

Sourcemodule WLQ2 : sig ... end

val ser_wit_ltac2_quotation : 
  (WLQ2.raw, WLQ2.glb, WLQ2.top) Serlib__Ser_genarg.gen_ser

Sourcemodule WLV2 : sig ... end

val ser_wit_ltac2_val : 
  (WLV2.raw, WLV2.glb, WLV2.top) Serlib__Ser_genarg.gen_ser

Sourceval register : unit -> unit