Module Goptions.MakeStringTable

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

Parameters

module _ : sig ... end

Signature

val v : unit -> CString.Set.t
val active : string -> bool