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