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.