# File lib/type_checker.rb, line 357
  def process_colon2(exp) # (Module::Class/Module)
    name = exp.shift
    return t(:colon2, name, Type.zclass)
  end