Debug:
TYPE ~
RECORD [
out: IO.STREAM ¬ NIL, -- for printing
triangles: REF G3dTriangle.Triangles ¬ NIL, -- original triangle mesh
segments: REF G3dTriangle.Segments ¬ NIL, -- border of triangle mesh
vertices: ImplicitStorage.Vertices ¬ NIL, -- generated vertices
edges: REF ImplicitStorage.Edges ¬ NIL, -- hash table for edges
faces: REF ImplicitStorage.Faces ¬ NIL, -- hash table for tet faces
inCube: REF G3dTriangle.Triangles ¬ NIL, -- triangles in current cube
inTet: REF G3dTriangle.Triangles ¬ NIL, -- triangles in current tet
tet: REF ImplicitCubeTet.Tetrahedron ¬ NIL, -- current tetrahedron
output: REF G3dTriangle.IntTriples ¬ NIL -- generated triangles
];