# from inspect import trace
# import os
# from typing import List
# from modelator.parse import parse
# from modelator.typecheck import typecheck
# from modelator.check import check_apalache, check_tlc
# from modelator.utils import shell_helpers, tla_helpers
# import traceback


from modelator import const_values
from modelator.Model import Model

const_values.SHELL_ACTIVE = True

__all__ = ["Model"]
