dependent type

data type whose definition depends on a value

en-US/dɪˈpɛndənt ˈtaɪp/
en-GB/dɪˈpɛndənt ˈtaɪp/

ক্যাটাগরি:

data typemetaclass