-Q ../theories ITree
-Q src/ ITreeTest

src/Tests.v

# Test to ensure extracted code is compilable
# - MetaModule.v is a module that depends on the
#   ITree library
# - Extract.v contains the extraction command for
#   MetaModule (and recursively its dependencies)

src/MetaModule.v
src/Extract.v
