encapsulated type BreakersState = enumeration(AcBc "Both breakers at port A and at port B closed", AcBo "Breaker at port A closed, breaker at port B open", AoBc "Breaker at port A open, breaker at port B closed", AoBo "Both breakers at port A and at port B open");