# Dafny program SomeNestedModule.dfy compiled into Python
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

