xilinx-lava-5.0.1.2: The Lava system for Xilinx FPGA design with layout combinators.
Lava.OneBitAdder
oneBitAdder :: (Bit, (Bit, Bit)) -> Out (Bit, Bit)Source