package coq-serapi

You can search for identifiers within the package.

in-package search v0.2.0

Module `Serlib_number_string_notation_plugin.Ser_g_number_syntax`Source

module Libnames = Serlib.Ser_libnames

module Notation = Serlib.Ser_notation

Sourcemodule A2 : sig ... end

val ser_wit_number_modifier : 
  (A2.raw, A2.glb, A2.top) Serlib__Ser_genarg.gen_ser

Sourcemodule A3 : sig ... end

val ser_wit_number_options : 
  (A3.raw, A3.glb, A3.top) Serlib__Ser_genarg.gen_ser

Sourcemodule A4 : sig ... end

val ser_wit_number_string_mapping : 
  (A4.raw, A4.glb, A4.top) Serlib__Ser_genarg.gen_ser

Sourcemodule A5 : sig ... end

val ser_wit_number_string_via : 
  (A5.raw, A5.glb, A5.top) Serlib__Ser_genarg.gen_ser

Sourcemodule A6 : sig ... end

Sourceval ser_wit_string_option : (A6.raw, A6.glb, A6.top) Serlib__Ser_genarg.gen_ser

Sourceval register : unit -> unit