Module scope
An abstract data type that track the current bindings for variables, functions, and circuits.