Type Alias programinduction::domains::circuits::Space

source · 
pub type Space = bool;
Expand description

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