in type theory and programming languages, notation that indicates the type of an expression
Nothing in the MetaHistoryBook collection references this item yet.