6 ms·Yes, that’s the whole point of dependent types: types can depend on (runtime) values.by andreabedini 7y agoYes, that’s the whole point of dependent types: types can depend on (runtime) values.