Module("lib",[Imports([Import("lang/dynamic-rules"),Import("strategy/conditional"),Import("strategy/iteration"),Import("strategy/pack/common"),Import("strategy/pack/modules"),Import("strategy/traversal/simple"),Import("strategy/traversal/list"),Import("strategy/traversal/fixpoint"),Import("strategy/traversal/environment"),Import("strategy/traversal/list-environment"),Import("list"),Import("collection/tuple/common"),Import("strategy/general/option"),Import("term/string"),Import("term/common"),Import("term/annotation"),Import("term/placeholder"),Import("term/share"),Import("term/zip"),Import("annotation-props"),Import("collection/list/integer"),Import("term/integer"),Import("term/real"),Import("collection/hash-table/common"),Import("collection/hash-table/nested"),Import("collection/hash-table/scoped-finite-map"),Import("collection/set/indexed"),Import("util/date-format"),Import("io"),Import("system/io/process"),Import("memo"),Import("util/config/options"),Import("util/config/parse-options"),Import("util/log"),Import("strategy/general/substitution"),Import("strategy/general/rename"),Import("strategy/general/unification"),Import("strategy/general/free-variables"),Import("util/sunit"),Import("strategy/pack/graph"),Import("strategy/general/parenthesize")])])
