Algorithms.BF.Hex
qtrace
template_qtrace
template_show
template_head
template_tail
template_length
template_take
template_drop
template_replicate
template_map
template_integer
template_symb_minus_
template_symb_plus_
template_symb_oangle_
template_symb_oangle_symb_equal_
template_div
cand
template_cand
template_symb_cangle_
template_symb_exclamation_symb_exclamation_
template_mod
template_zip
template_unzip
template_or
type HexBoardParam
newBools
template_newBools
bools2int
bools2int'
int2bools
int2bools'
int2bools''
lookup
template_lookup
update
template_update
test_update
addressed_perform
update_pos
testpos
test_positions
while_for
while
swapBool
template_swapBool
flood_fill
checkwin_red'
checkwin_red
checkwin_red_c
movesT
hexT
newBoolParam
newBoolParams
hex_oracle_c
hex_oracle
hex_oracle_dummy
checkwin_red_circuit