module CubePuzzle:sig
..end
Solver.PUZZLE
type
state
type
move =
| |
U |
(* | up | *) |
| |
D |
(* | down | *) |
| |
L |
(* | left | *) |
| |
R |
(* | right | *) |
| |
F |
(* | front | *) |
| |
B |
(* | back | *) |
include Solver.PUZZLE
include Animation.PUZZLE
val goal : state