trait
ValueTypeOrProto
extends
Type
with
TermType
A marker trait for types that can be types of values or prototypes of value types