Но могу привести пруф - в математике тип функции это ее область значений. В динамике любой переменной в любой момент времени может придти любое значение. Значит там один тип - Any
Это не пруф, это хуета.
В математике модуль — это операция над числами, поэтому в программировании способов разделения кода по файлам не существует