3 ms·This is clearly a dependent type, as it implies checking on values. This is a value.by mrkeen 8y agoThis is clearly a dependent type, as it implies checking on values. This is a value.