import sys
from typing import Callable, Any, TypeVar, NamedTuple
from math import floor
from itertools import count

import SomeNestedModule.module_ as module_
import _dafny as _dafny
import System_ as System_
import SomeNestedModule.Some_Nested_Module as Some_Nested_Module
import SomeNestedModule.Some_Nested as Some_Nested
import SomeNestedModule.Some as Some

# Module: module_

