Type Alias State 

pub type State = BTreeMap<String, Value>;

A binding of every variable the specification declares.

Aliased Type

pub struct State { /* private fields */ }