Several options:
- Move the common function to a module imported by both other modules.
- Merge both modules into one.
- Pass the function from main to the code that needs to call it.
- Monkey patch the function into the check module after importing it.
- Refactor the whole thing so that you don't have circular dependencies.
If you actually explained why you have this design, someone could possibly propose a better way.