sig
  val skel : Skel.skel
  val pos : Skel.position
  val elementary_move : Skel.Constraints.t -> unit
  val elementary_move_precise : float option array -> unit
  val begin_move : ?steps:int -> Skel.Constraints.t -> unit
  val begin_move_precise : ?steps:int -> float option array -> unit
  val move : unit -> bool
end