require "python-semantics-arithmetic-ops.k"
require "python-semantics-assignment.k"
require "python-semantics-attribute-ref.k"
require "python-semantics-augmented-assignment.k"
require "python-semantics-builtin-functions.k"
require "python-semantics-bytes.k"
require "python-semantics-classes.k"
require "python-semantics-dicts.k"
require "python-semantics-dunder-builtin.k"
require "python-semantics-environment.k"
require "python-semantics-exceptions.k"
require "python-semantics-floats.k"
require "python-semantics-functions.k"
require "python-semantics-garbage-collection.k"
require "python-semantics-generator.k"
require "python-semantics-import.k"
require "python-semantics-integers.k"
require "python-semantics-iterators.k"
require "python-semantics-lists.k"
require "python-semantics-macros.k"
require "python-semantics-methods.k"
require "python-semantics-objects.k"
require "python-semantics-sets.k"
require "python-semantics-statements.k"
require "python-semantics-strings.k"
require "python-semantics-tuples.k"

module PYTHON
  imports PYTHON-SEMANTICS-ARITHMETIC-OPS
  imports PYTHON-SEMANTICS-ASSIGNMENT
  imports PYTHON-SEMANTICS-ATTRIBUTE-REF
  imports PYTHON-SEMANTICS-AUGMENTED-ASSIGNMENT
  imports PYTHON-SEMANTICS-BUILTIN-FUNCTIONS
  imports PYTHON-SEMANTICS-BYTES
  imports PYTHON-SEMANTICS-CLASSES
  imports PYTHON-SEMANTICS-DICTS
  imports PYTHON-SEMANTICS-DUNDER-BUILTIN
  imports PYTHON-SEMANTICS-ENVIRONMENT
  imports PYTHON-SEMANTICS-EXCEPTIONS
  imports PYTHON-SEMANTICS-FLOATS
  imports PYTHON-SEMANTICS-FUNCTIONS
  imports PYTHON-SEMANTICS-GARBAGE-COLLECTION
  imports PYTHON-SEMANTICS-GENERATOR
  imports PYTHON-SEMANTICS-IMPORT
  imports PYTHON-SEMANTICS-INTEGERS
  imports PYTHON-SEMANTICS-ITERATORS
  imports PYTHON-SEMANTICS-LISTS
  imports PYTHON-SEMANTICS-MACROS
  imports PYTHON-SEMANTICS-METHODS
  imports PYTHON-SEMANTICS-OBJECTS
  imports PYTHON-SEMANTICS-SETS
  imports PYTHON-SEMANTICS-STATEMENTS
  imports PYTHON-SEMANTICS-STRINGS
  imports PYTHON-SEMANTICS-TUPLES
endmodule