Поскольку F # не допускает рекурсивные модули (IIRC), единственное, о чем вам нужно заботиться, это о том, что порядок модулей правильный (вы не можете "объявить их" вперед), так что вы создаете добавление модуля, которыйшаг за шагом требуются только предыдущие.
Если вы когда-нибудь обнаружите ситуацию, в которой у вас есть циклическая ссылка между набором модулей, вам придется выделить общую часть и удалить цикл.
Этот другой вопрос может прояснить тему: F # взаимная рекурсия между модулями