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