From OpenSCADAWiki
Язык использует неявное определение локальных переменных, которое заключается в определении новой переменной в случае присваивания ей значения. Причём тип локальной переменной устанавливается в соответствии с типом присваиваемого значения. Например, выражение Qr=Q0*Pi+0.01; определит переменную Qr с типом переменной Q0.