module type Solver =sig..end
val skel : Skel.skelval pos : Skel.positionval elementary_move : Skel.Constraints.t -> unitval elementary_move_precise : float option array -> unitval begin_move : ?steps:int -> Skel.Constraints.t -> unitepsilon.val begin_move_precise : ?steps:int -> float option array -> unitval move : unit -> bool