with Dimensions;
package Challenges with SPARK_Mode => On is

   --  Calibrate at end of line or junction. Pose direction must be correct.
   procedure Calibrate_At_Junction_Or_Line_End (Pose : Dimensions.Pose_Type);


end Challenges;
