Function void_element 

pub fn void_element(
    tx: &mut Transaction,
    global_id: &str,
    element: EntityId,
    opening: EntityId,
) -> SpatialAuthoringResult<EntityId>

Stage an IfcRelVoidsElement: an opening cut into an element.

IFC4 and IFC4X3 only: it writes their layout and leaves OwnerHistory $, which IFC2X3 requires. In IFC2X3 use void_element_with_owner_history, which binds the model’s declared release.

Errors

Refuses a malformed GlobalId and an element voided by itself.