package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Goptions.MakeStringTable`Source

MakeStringTable is a specialization of MakeTable for tables whose vernacular arguments are strings.

module _ : sig ... end

Sourceval v : unit -> CString.Set.t

Sourceval active : string -> bool