Module circuit

Module circuit 

Source

Structsยง

Circuit
A boolean circuit with named inputs and outputs. Input variables are identified by their name. The gates in the circuit are Gates.