QuipperLib.ClassicalOptim.QuickCheckArith
int_of_boollist
boollist_of_int
template_map
template_zip
template_tail
template_symb_obracket_symb_cbracket_
mapAccumLM
template_mapAccumL
majority
bit_adder
adder
test_adder'
test_adder
subtract
test_subtract'
test_subtract
pad_right
shift
takeOnly
multiplier'
multiplier
test_multiplier'
test_multiplier