Suppose you have an array of integers that has to be sorted. How would you implement a function that sorts it? The function should be able to take arrays of any length right? How do you express this in SCL? Typically arguments are type checked before calling the function. In SCL the array length is part of the type. This means that Array[1..10] of BYTE and Array[1..15] of BYTE are actually two different types. In other words - the lengths of the argument / actual argument a
