Lines Matching refs:move
61 datatype move = S0 | S1 | S2 | K0 | K1
65 fun string_of_move move = case move of
75 fun res_of_move move = case move of
82 fun replace_metavar move c = case c of
84 let val c1o = replace_metavar move c1 in
87 let val c2o = replace_metavar move c2 in
92 | V1 => SOME (res_of_move move)
97 fun apply_move_aux move (c1,c2,n) =
98 (let val c1new = valOf (replace_metavar move c1) in
102 fun apply_move (tree,id) move (c1,c2,n) =
103 (apply_move_aux move (c1,c2,n), tree)
112 val game : (board,move) game =
301 val rlobj : (board,move) rlobj =