Let's say I have the following call s myvar = myfuntion (arg1:x)
Of course arg1 must be of type x or you get a compile time error. Is there any way to force arg1 to be of a certain value range within type x and have it checked at compile time? For example, is there a way to create a group of constants or value objects that the system would validate when compiling the function call?