// Possible option properties.
-def extern;
def help;
def hidden;
def init;
// Empty DAG marker.
def empty_dag_marker;
-// Used to specify plugin priority.
-class PluginPriority<int p> {
- int priority = p;
-}
-
// Option list - a single place to specify options.
class OptionList<list<dag> l> {
list<dag> options = l;