structure MakeSimplifier = struct structure Geometry = RealGeometry3d structure Vertex = Vertex(type point = Geometry.Point.point) structure Matrix = RealMatrix structure Simplex = SimplexFromVertex(structure Vertex = Vertex) structure Complex = SimpCompFromSimplex(structure Simplex = Simplex) structure Metric = Quadric(structure Geometry = Geometry structure Matrix = Matrix) structure Simplifier = GHSurfaceSimplify(structure Metric = Metric structure Complex = Complex) structure SMFReader = SMFReader3d(structure Complex = Complex) structure SMFWriter = SMFWriter3d(structure Complex = Complex) structure OFFWriter = OFFWriter3d(structure Complex = Complex) end