Goptions.MakeRefTable
module A : RefConvertArg
val v : unit -> A.Set.t
val active : A.t -> bool
val set : Libobject.locality -> A.t -> bool -> unit