<> <> <> <> SV3d: DEFINITIONS = BEGIN Point3d: TYPE = ARRAY [1..3] OF REAL; Vector: TYPE = ARRAY [1..3] OF REAL; Poly3d: TYPE = REF Poly3dObj; Poly3dObj: TYPE = RECORD [ len: NAT, seq: SEQUENCE maxVerts: NAT OF Point3d]; Plane: TYPE = REF PlaneObj; PlaneObj: TYPE = RECORD [ A, B, C, D: REAL]; <> <> <> <> <> END.