IFC 4.3.0.0 (IFC4X3) final
A type comprising different kinds of shell.
TYPE IfcShell = SELECT (IfcClosedShell ,IfcOpenShell); END_TYPE;