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=09e2b3920d40eea3bed165d9ec67a3c87a9795918adbea0f9a87ee68d2014fa4

sha512=650b8e5d09aa42d4cb9f3c2dd09d9e4217bd325f5ac9b540783775e2a132556bbfa1f9c702eba83d6480ad3d8e429171d3bd4d01194b8243c80e8d55c0825bad

module Util = Serlib.Ser_util

module Loc = Serlib.Ser_loc

module CAst = Serlib.Ser_cAst

module 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