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

Oracle implementation

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