sig
  type state
  type move = U | D | L | R | F | B
  val apply : state -> move -> state
  val moves : state -> move list
  val is_goal : state -> bool
  val equal : state -> state -> bool
  val goodness : state Util.comparator
  type animstate
  val init : state -> animstate
  val render : animstate -> state -> (float * move) option -> unit
  val goal : CubePuzzle.state
end