from dao.env import ModuleEnvironment
from dao.term import var
from dao.builtin import collocet_builtins_to_module
from dao.t.builtins.globalenv import global_env
from dao.builtins.control import *
control = ModuleEnvironment({}, None)
global_env[var("control")] = control
collocet_builtins_to_module(globals(), global_env, control)
from dao.env import ModuleEnvironment
from dao.term import var
from dao.builtin import collocet_builtins_to_module
from dao.t.builtins.globalenv import global_env
from dao.builtins.rule import *
rule = ModuleEnvironment({}, None)
global_env[var('rule')] = rule
collocet_builtins_to_module(globals(), global_env, rule)
from dao.env import ModuleEnvironment
from dao.term import var
from dao.builtin import collocet_builtins_to_module
from dao.t.builtins.globalenv import global_env
from dao.builtins.parser import *
parser = ModuleEnvironment({}, None)
global_env[var('parser')] = parser
collocet_builtins_to_module(globals(), global_env, parser)
from dao.env import ModuleEnvironment
from dao.term import var
from dao.builtin import collocet_builtins_to_module
from dao.t.builtins.globalenv import global_env
from dao.builtins.arith import *
arith = ModuleEnvironment({}, None)
global_env[var('arith')] = arith
collocet_builtins_to_module(globals(), global_env, arith)
