class Argument:
   def __init__(self, argtype, name, function):
      self.t = argtype
      self.name = name
      self.function = function

class Function:
   def __init__(self, functiontype, name, module):
      self.functiontype = functiontype
      self.name = name
      self.module = module
      self.basicblocks = []
      self.arguments = []
      # Construct formal arguments depending on function type


   BasicBlocks = property(lambda self: self.basicblocks)
   Arguments = property(lambda self: self.arguments)
   ReturnType = property(lambda self: self.functiontype.returnType)
   FunctionType = property(lambda self: self.functiontype)