typestate

== English == === Etymology === From type +‎ state. === Noun === typestate (countable and uncountable, plural typestates) (programming) Information stored with a variable indicating its current data type.