Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- v -

• VARIADIC : FunctorOps.cpp
• VARIADIC_ORDERED : FunctorOps.cpp
• varToTerm : ResolveAliases.cpp
• verAtoms() : Tui.h
• verGraph() : Tui.h
• verRul() : Tui.h
• VERSION : config.h
• VISIT : TypeSystem.cpp