#programminglanguage
項でインデックス付された型
C++でいうdecltype(term)(だよね?)
decltype(term)
Implementing Dependent Types