Type Definition programinduction::domains::circuits::Space[−][src]

type Space = bool;

All values in the circuits domain can be represented in this Space.