mutable
t = (v:term_type)