QuipperLib.ClassicalOptim.QuickCheckArith
int_of_boollist
boollist_of_int
template_map
template_zip
template_tail
template_symb_obracket_symb_cbracket_
mapAccumLM
template_mapAccumL
majority
template_majority
bit_adder
template_bit_adder
adder
template_adder
test_adder'
test_adder
subtract
template_subtract
test_subtract'
test_subtract
pad_right
template_pad_right
shift
template_shift
takeOnly
template_takeOnly
multiplier'
template_multipliersymb_quote_
multiplier
template_multiplier
test_multiplier'
test_multiplier