class Steep::TypeInference::TypeEnvBuilder::Command::ImportGlobalDeclarations

def call(env)
  global_types = environment.global_decls.transform_values do |decl|
    factory.type(decl.decl.type)
  end
  env.update(global_types: global_types)
end