-- DIRECTORY JunoStorage;

JunoSolver: DEFINITIONS =
  {--OPEN JunoStorage;
   -- AddHor: PROC[a,b:PointPtr];
   -- AddVer: PROC[a,b:PointPtr];
   -- AddCong: PROC[a,b,c,d:PointPtr];
   -- AddLin: PROC[a,b,c:PointPtr];
   -- FixPoint: PUBLIC PROCEDURE[a:PointPtr];
   Solve: PROC[epsilon:REAL] RETURNS [BOOLEAN];}.