BooleanState is the preferred module for modelling a functionality corresponding to an underlying binary state. This module should be used to abstract away from the actual datatype and values in question. Note that the module does not define whether the execution mode is blocking or non-blocking. Obtain the current associated state. Set the associated state to the specified value. The desired value of the associated state.