Type Alias FullAdderArrow 

pub type FullAdderArrow = CircuitArrow<CircuitTensor<CircuitTensor<Obj<bool>, Obj<bool>>, Obj<bool>>, CircuitTensor<Obj<bool>, Obj<bool>>>;

A full-adder arrow: ((bool ⊗ bool) ⊗ bool) -> (bool ⊗ bool). Inputs: ((a, b), carry_in). Outputs: (sum, carry_out).

Aliased Type

pub struct FullAdderArrow { /* private fields */ }