Up
–
coq-core
»
Goptions
» MakeRefTable
Module
Goptions.MakeRefTable
Parameters
A
:
sig
...
end
Signature
val
v : unit
->
A.Set.t
val
active :
A.t
->
bool