mutable t = (v:term_type)