sig
  type state
  type move
  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 -> Animation.PUZZLE.animstate
  val render :
    Animation.PUZZLE.animstate -> state -> (float * move) option -> unit
end