54 typedef enum { low = 0, high, undefined } signal_t;  enumerator
255                 val = high;  in operator ()()
324         push_button_node.try_put(high);  in press()
351         if (state == high)  in flip()
354             state = high;  in flip()
402                     state = high;  in operator ()()
433             signal_t new_state = high;  in operator ()()
480                 if (ports[i] == high) {  in operator ()()
481                     new_state = high;  in operator ()()
484                 else if (ports[i] == undefined && new_state != high) {  in operator ()()
527                 else if (ports[i] == high && new_state == low) {  in operator ()()
528                     new_state = high;  in operator ()()
531                 else if (ports[i] == high && highs > 0) {  in operator ()()
535                 else if (ports[i] == high) {  in operator ()()
575                 if (ports[i] == high) {  in operator ()()
576                     new_state = high;  in operator ()()
579                 else if (ports[i] == undefined && new_state != high) {  in operator ()()
584             if (new_state == high)  in operator ()()
587                 new_state = high;  in operator ()()
662         if (state == high)  in display()
696             if (ports[0] == high)  in operator ()()
698             if (ports[1] == high)  in operator ()()
700             if (ports[2] == high)  in operator ()()
702             if (ports[3] == high)  in operator ()()